[PRQ#45457] Deletion Request for coin-or-osi-git
28 Jul
2023
28 Jul
'23
11:01 a.m.
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/
27 Oct
27 Oct
9:50 p.m.
New subject: [PRQ#45457] Deletion Request for coin-or-osi-git Accepted
Request #45457 has been Accepted by muflone [1]: [Autogenerated] Accepted deletion for coin-or-osi-git. [1] https://aur.archlinux.org/account/muflone/
430
Age (days ago)
521
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org