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

update to commit d54fef19 for coq 8.13.2 support

Browse Source
This commit is contained in:
daniel 2021-04-30 05:51:44 +00:00
parent 81eaa56614
commit a4bf1a704e
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lang/compcert/Makefile
View File

@ -1,14 +1,14 @@
# $OpenBSD: Makefile,v 1.27 2021/03/10 15:00:53 daniel Exp $
# $OpenBSD: Makefile,v 1.28 2021/04/30 05:51:44 daniel Exp $
ONLY_FOR_ARCHS = aarch64 amd64 i386 powerpc
COMMENT = high assurance C compiler
V = 3.8.20210309
V = 3.8.20210429
GH_ACCOUNT = AbsInt
GH_PROJECT = CompCert
#GH_TAGNAME = v${V}
GH_COMMIT = 6bf310dd678285dc193798e89fc2c441d8430892
GH_COMMIT = d54fef19ae19df47dc9e0d64afdb6a110f5ecdb2
DISTNAME = ${GH_PROJECT}-${V}
PKGNAME = ${DISTNAME:L}

4
lang/compcert/distinfo
View File

@ -1,2 +1,2 @@
SHA256 (CompCert-3.8.20210309-6bf310dd.tar.gz) = N3acDF9aq69s6UKnBv0jf1XojS0e8uhqTd8X+Oy+pao=
SIZE (CompCert-3.8.20210309-6bf310dd.tar.gz) = 2750002
SHA256 (CompCert-3.8.20210429-d54fef19.tar.gz) = NS2jNvUXPdy9XSZU8bk/OG8XKIs8ZrTLmIqRIc+aXno=
SIZE (CompCert-3.8.20210429-d54fef19.tar.gz) = 2751026