[aur-requests] [PRQ#994] Deletion Request for agda-lib
3 Oct
2014
3 Oct
'14
6:19 p.m.
Liquen [1] filed a deletion request for agda-lib [2]: The official name of the package is agda-stdlib, which I've just created in AUR. [1] https://aur.archlinux.org/account/Liquen/ [2] https://aur.archlinux.org/pkgbase/agda-lib/
4 Oct
4 Oct
2:02 p.m.
New subject: [aur-requests] [PRQ#994] Request Accepted
Request #994 has been accepted by Muflone [1]. [1] https://aur.archlinux.org/account/Muflone/
3733
Age (days ago)
3734
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org