[aur-general] Removal request: coq-nogui

zerstorer at free.fr zerstorer at free.fr
Mon May 13 14:37:03 EDT 2013


Please remove `coq-nogui` [1]. It's a duplicate of `coq-nox` [2],
which has a cleaner PKGBUILD and is more in line with the other coq
packages (`coq` [3], `coq-doc` [4]).

The current maintainer of `coq-nogui` (Cc-ed) is ok with the removal.


[1] https://aur.archlinux.org/packages/coq-nogui
[2] https://aur.archlinux.org/packages/coq-nox
[3] https://aur.archlinux.org/packages/coq
[4] https://aur.archlinux.org/packages/coq-doc

More information about the aur-general mailing list