12 Nov
2023
12 Nov
'23
2:30 p.m.
MarsSeed [1] filed a deletion request for gurobi80 [2]: Unneeded, EOL legacy version of Gurobi from 2018, based on Python 2 and 3.7. AUR has the latest version of Gurobi, not useful to keep this old one. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/gurobi80/