[aur-requests] [PRQ#10398] Deletion Request for gringo
25 Jan
2018
25 Jan
'18
5:52 p.m.
Edgemaster [1] filed a deletion request for gringo [2]: community package `clingo` now provides `gringo`. [1] https://aur.archlinux.org/account/Edgemaster/ [2] https://aur.archlinux.org/pkgbase/gringo/
25 Jan
25 Jan
10:55 p.m.
New subject: [aur-requests] [PRQ#10398] Request Accepted
Request #10398 has been accepted by Eschwartz [1]. [1] https://aur.archlinux.org/account/Eschwartz/
2522
Age (days ago)
2522
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org