CVS commit: wip/coq

["othyro" <othyro%users.sourceforge.net@localhost>]

Module name:    wip
Committed by:   othyro
Date:           Sun Dec  2 20:35:28 UTC 2012

Removed Files:
        wip/coq: DESCR Makefile PLIST distinfo options.mk

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.


To generate a diff of this commit:
cvs -z3 rdiff -u -r1.1.1.1 -r0 wip/coq/DESCR wip/coq/PLIST wip/coq/distinfo \
    wip/coq/options.mk
cvs -z3 rdiff -u -r1.3 -r0 wip/coq/Makefile

To view a diff of this commit:
http://pkgsrc-wip.cvs.sourceforge.net/pkgsrc-wip/wip/coq/DESCR?r1=1.1.1.1&r2=0
http://pkgsrc-wip.cvs.sourceforge.net/pkgsrc-wip/wip/coq/PLIST?r1=1.1.1.1&r2=0
http://pkgsrc-wip.cvs.sourceforge.net/pkgsrc-wip/wip/coq/distinfo?r1=1.1.1.1&r2=0
http://pkgsrc-wip.cvs.sourceforge.net/pkgsrc-wip/wip/coq/options.mk?r1=1.1.1.1&r2=0
http://pkgsrc-wip.cvs.sourceforge.net/pkgsrc-wip/wip/coq/Makefile?r1=1.3&r2=0

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

------------------------------------------------------------------------------
Keep yourself connected to Go Parallel: 
DESIGN Expert tips on starting your parallel project right.
http://goparallel.sourceforge.net/
_______________________________________________
pkgsrc-wip-cvs mailing list
pkgsrc-wip-cvs%lists.sourceforge.net@localhost
https://lists.sourceforge.net/lists/listinfo/pkgsrc-wip-cvs