[PRQ#45457] Deletion Request for coin-or-osi-git

MarsSeed [1] filed a deletion request for coin-or-osi-git [2]: Broken, unmaintained package from 2015. Missing a dependency. Not a VCS package: uses a release tarball as source. Not useful to keep this. Repo carries the latest stable. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/coin-or-osi-git/