[aur-requests] [PRQ#12839] Deletion Request for gnatcoll
30 Sep
2018
30 Sep
'18
7:42 p.m.
charlie5 [1] filed a deletion request for gnatcoll [2]: This has been split into several sub-packages and is now obsolete ... ie replaced by gnatcoll-core, gnatcoll-gmp, etc. [1] https://aur.archlinux.org/account/charlie5/ [2] https://aur.archlinux.org/pkgbase/gnatcoll/
24 Nov
24 Nov
8:23 a.m.
New subject: [aur-requests] [PRQ#12839] Deletion Request for gnatcoll Accepted
Request #12839 has been accepted by coderobe [1]. [1] https://aur.archlinux.org/account/coderobe/
1986
Age (days ago)
2040
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org