[aur-requests] [PRQ#5371] Deletion Request for idris

notify at aur.archlinux.org notify at aur.archlinux.org
Wed May 4 08:38:50 UTC 2016

Previous message (by thread): [aur-requests] [PRQ#5370] Request Rejected
Next message (by thread): [aur-requests] [PRQ#5371] Request Accepted
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Rufflewind [1] filed a deletion request for idris [2]:

In Community already

[1] https://aur.archlinux.org/account/Rufflewind/
[2] https://aur.archlinux.org/pkgbase/idris/

Previous message (by thread): [aur-requests] [PRQ#5370] Request Rejected
Next message (by thread): [aur-requests] [PRQ#5371] Request Accepted
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the aur-requests mailing list