Subject: CVS commit: pkgsrc/lang/coq
From: Jaap Boender
Date: 2018-08-02 14:57:03
Message id: 20180802125703.76B08FBEC@cvs.NetBSD.org
Log Message:
Updated package lang/coq to version 8.8.1.

The list of improvements, additions, bugfixes and so on is quite large;
those interested can refer to the CHANGES file in the distribution.

The reference manual has been fully ported to Sphinx.
Files:
RevisionActionfile
1.112modifypkgsrc/lang/coq/Makefile
1.28modifypkgsrc/lang/coq/PLIST
1.31modifypkgsrc/lang/coq/distinfo
1.4modifypkgsrc/lang/coq/options.mk