On 2013-05-13 20:37, [email protected] 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/
signature.asc
Description: OpenPGP digital signature
