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/