6 Nov
2023
6 Nov
'23
1:25 a.m.
MarsSeed [1] filed a deletion request for glpk-cut-log [2]: glpk has been migrated to extra repo: https://archlinux.org/packages/?q=glpk [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/glpk-cut-log/