Subject: CVS commit: wip/coq
From: othyro
Date: 2012-12-02 21:35:28
Message id: E1TfGGQ-0007TB-Aq@sfs-ml-2.v29.ch3.sourceforge.com
Log Message:
Archive version of lang/coq. The version in HEAD now includes the doc
option, the only real difference between the two packages. Removing. Please
use lang/coq from now on.
Files:
RevisionActionfile
1.1.1.1removewip/coq/DESCR
1.3removewip/coq/Makefile
1.1.1.1removewip/coq/PLIST
1.1.1.1removewip/coq/distinfo
1.1.1.1removewip/coq/options.mk