22 Jan
2023
22 Jan
'23
9:18 a.m.
a821 [1] filed a deletion request for scipoptsuite [2]: Moved to [community] as scip. [1] https://aur.archlinux.org/account/a821/ [2] https://aur.archlinux.org/pkgbase/scipoptsuite/