[PRQ#69093] Deletion Request for gurobi81

MarsSeed [1] filed a deletion request for gurobi81 [2]: Obsolete, unused package from 4 years ago. EOL version, released in 2018, of the up-to-date AUR/gurobi. Not a compatible drop-in replacement for the latter, so the provides & conflicts entry 'gurobi' is wrong. Votes: 0 Popularity: 0.000000 Comments: 0 Specific reverse dependencies: 0 [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/gurobi81/