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.diff -r1.121 -r1.122 pkgsrc/lang/coq/Makefile
(jaapb)
@@ -1,18 +1,17 @@ | @@ -1,18 +1,17 @@ | |||
1 | # $NetBSD: Makefile,v 1.121 2019/05/05 22:49:48 ryoon Exp $ | 1 | # $NetBSD: Makefile,v 1.122 2019/05/23 10:55:07 jaapb Exp $ | |
2 | # | 2 | # | |
3 | 3 | |||
4 | DISTNAME= coq-8.9.0 | 4 | DISTNAME= coq-8.9.1 | |
5 | PKGREVISION= 3 | |||
6 | CATEGORIES= lang math | 5 | CATEGORIES= lang math | |
7 | MASTER_SITES= ${MASTER_SITE_GITHUB:=coq/} | 6 | MASTER_SITES= ${MASTER_SITE_GITHUB:=coq/} | |
8 | GITHUB_TAG= V${PKGVERSION_NOREV:S/_/+/} | 7 | GITHUB_TAG= V${PKGVERSION_NOREV:S/_/+/} | |
9 | 8 | |||
10 | MAINTAINER= jaapb@NetBSD.org | 9 | MAINTAINER= jaapb@NetBSD.org | |
11 | HOMEPAGE= http://coq.inria.fr/ | 10 | HOMEPAGE= http://coq.inria.fr/ | |
12 | COMMENT= Theorem prover which extracts programs from proofs | 11 | COMMENT= Theorem prover which extracts programs from proofs | |
13 | LICENSE= gnu-lgpl-v2.1 | 12 | LICENSE= gnu-lgpl-v2.1 | |
14 | 13 | |||
15 | WRKSRC= ${WRKDIR}/${GITHUB_PROJECT}-${PKGVERSION_NOREV:S/_/-/} | 14 | WRKSRC= ${WRKDIR}/${GITHUB_PROJECT}-${PKGVERSION_NOREV:S/_/-/} | |
16 | 15 | |||
17 | USE_TOOLS+= gmake | 16 | USE_TOOLS+= gmake | |
18 | HAS_CONFIGURE= yes | 17 | HAS_CONFIGURE= yes |
@@ -1,7 +1,7 @@ | @@ -1,7 +1,7 @@ | |||
1 | $NetBSD: distinfo,v 1.32 2019/03/06 09:28:23 jaapb Exp $ | 1 | $NetBSD: distinfo,v 1.33 2019/05/23 10:55:07 jaapb Exp $ | |
2 | 2 | |||
3 | SHA1 (coq-8.9.0.tar.gz) = 8833deafd57649f875f15c0739c8ac1ffe06aeda | 3 | SHA1 (coq-8.9.1.tar.gz) = d26646b33922bcd9eb44ef80162f8d0513784e46 | |
4 | RMD160 (coq-8.9.0.tar.gz) = b587d945a5eb0366c7a7b280f1ff08940c800a60 | 4 | RMD160 (coq-8.9.1.tar.gz) = d82a0f7d31c0e5d7b8b566cd15d7ff9f724c250b | |
5 | SHA512 (coq-8.9.0.tar.gz) = 42b2e0ae669c06803b6b527a194d78675de18869f6342fc8afc49cfc94f3e98ca0c3b4fd52d3af8c5ce66c6efb1c665ac0d65e992ad29c3f432e244f98ec2ca1 | 5 | SHA512 (coq-8.9.1.tar.gz) = 66344f801b955d1b6daf3ab1d704551070c95cf9032ae74f15fb33f7ec313812b3e05c0ec277a2eb448e3fdfd9721df06d36612e2fb4928b6530d70147f1d983 | |
6 | Size (coq-8.9.0.tar.gz) = 5992210 bytes | 6 | Size (coq-8.9.1.tar.gz) = 6001970 bytes | |
7 | SHA1 (patch-Makefile.common) = f232485fddc61c51cd12ac5567b706f5f2299328 | 7 | SHA1 (patch-Makefile.common) = f232485fddc61c51cd12ac5567b706f5f2299328 |