[aur-general] Removal request: coq-nogui

[Bartłomiej Piotrowski]

On 2013-05-13 20:37, zerstorer at 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/

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 490 bytes
Desc: OpenPGP digital signature
URL: <http://mailman.archlinux.org/pipermail/aur-general/attachments/20130515/77035a44/attachment.asc>