Re: [aur-general] Removal request: coq-nogui

On 2013-05-13 20:37, zerstorer@free.fr wrote:

Hi,

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.

Thanks!

[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

Done. -- Bartłomiej Piotrowski http://bpiotrowski.pl/