[aur-requests] [PRQ#7572] Deletion Request for coq

notify at aur.archlinux.org notify at aur.archlinux.org
Wed Feb 22 20:01:49 UTC 2017

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

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/

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

More information about the aur-requests mailing list