[aur-requests] [PRQ#29635] Deletion Request for idris2-api-git
24 Nov
2021
24 Nov
'21
10:02 p.m.
thenumeralone [1] filed a deletion request for idris2-api-git [2]: The idris2-git package now includes what would have been installed by this package. [1] https://aur.archlinux.org/account/thenumeralone/ [2] https://aur.archlinux.org/pkgbase/idris2-api-git/
25 Nov
25 Nov
3:46 a.m.
New subject: [aur-requests] [PRQ#29635] Deletion Request for idris2-api-git Accepted
Request #29635 has been accepted by ainola [1]. [1] https://aur.archlinux.org/account/ainola/
1085
Age (days ago)
1086
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org