NetBSD/pkgsrc uXVi5fv — lang/coq distinfo Makefile
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.
Version | Delta | File | |
---|---|---|---|
1.33 | +5 | -5 | lang/coq/distinfo |
1.122 | +2 | -3 | lang/coq/Makefile |
+7 | -8 | 2 files |