cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update to coq 8.10.0; ok Yoza Toda (MAINTAINER)

Browse Source
This commit is contained in:
daniel 2019-10-16 06:40:03 +00:00
parent 915bb27789
commit 7e3735bd84
2 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
math/coq/Makefile
View File

@ -1,14 +1,13 @@
# $OpenBSD: Makefile,v 1.47 2019/10/08 10:56:29 sthen Exp $
# $OpenBSD: Makefile,v 1.48 2019/10/16 06:40:03 daniel Exp $
COMMENT= proof assistant based on a typed lambda calculus
V= 8.10+beta3
V= 8.10.0
GH_ACCOUNT = coq
GH_PROJECT = coq
GH_TAGNAME = V${V}
DISTNAME = ${GH_PROJECT}-${V:S/+//}
WRKDIST = ${WRKDIR}/${GH_PROJECT}-${V:S/+/-/}
REVISION = 1
DISTNAME = ${GH_PROJECT}-${V}
WRKDIST = ${WRKDIR}/${GH_PROJECT}-${V}
CATEGORIES= math
HOMEPAGE= https://coq.inria.fr/

4
math/coq/distinfo
View File

@ -1,2 +1,2 @@
SHA256 (coq-8.10beta3.tar.gz) = bg4NOETRztaP1HlgLSQ5QBLSLEfSrbTJoBtNCGoYAxg=
SIZE (coq-8.10beta3.tar.gz) = 6220619
SHA256 (coq-8.10.0.tar.gz) = KSxkFiYgxMSCXDI8HHF2LXZOvJzjm9ju6QCFHqymVfU=
SIZE (coq-8.10.0.tar.gz) = 6220333