[aur-requests] [PRQ#7572] Deletion Request for coq
22 Feb
2017
22 Feb
'17
8:01 p.m.
zorun [1] filed a deletion request for coq [2]: Moved to [community] [1] https://aur.archlinux.org/account/zorun/ [2] https://aur.archlinux.org/pkgbase/coq/
22 Feb
22 Feb
8:30 p.m.
New subject: [aur-requests] [PRQ#7572] Request Accepted
Request #7572 has been accepted by Dragonlord [1]. [1] https://aur.archlinux.org/account/Dragonlord/
2822
Age (days ago)
2822
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org