Subject: CVS commit: pkgsrc/lang/coq
From: Jaap Boender
Date: 2019-05-23 12:55:07
Message id: 20190523105508.0550CFBB7@cvs.NetBSD.org

Log Message:
Updated lang/coq to version 8.9.1.

Main changes:
* some quality-of-life bug fixes,
* many improvements to the documentation,
* a critical bug fix related to primitive projections and native_compute,
* several additional Coq libraries shipped with the Windows installer.

Files:
RevisionActionfile
1.33modifypkgsrc/lang/coq/distinfo
1.122modifypkgsrc/lang/coq/Makefile