22 Jan
2023
22 Jan
'23
12:20 p.m.
a821 [1] filed a deletion request for scip [2]: Name conflicts with community/scip. They are different programs. [1] https://aur.archlinux.org/account/a821/ [2] https://aur.archlinux.org/pkgbase/scip/