[aur-requests] [PRQ#29635] Deletion Request for idris2-api-git
24 Nov
2021
24 Nov
'21
3: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/
24 Nov
24 Nov
8:46 p.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/
1031
Age (days ago)
1032
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org