Subject: CVS commit: pkgsrc/lang/coq
From: Jaap Boender
Date: 2018-04-09 13:29:23
Message id: 20180409112923.6F5FEFBEC@cvs.NetBSD.org
Log Message:
Updated lang/coq to version 8.7.2.

This fixes a critical bug in the VM handling of universes, and adds
various other minor fixes and improvements.
Files:
RevisionActionfile
1.107modifypkgsrc/lang/coq/Makefile
1.26modifypkgsrc/lang/coq/PLIST
1.30modifypkgsrc/lang/coq/distinfo