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

Last OCaml REVISION bumps do to changes in BUILD_DEPENDS.

Browse Source
This commit is contained in:
chrisz 2014-08-23 07:09:18 +00:00
parent 201c5a05ee
commit 0ae97f5f8a
3 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
devel/frama-c/Makefile
View File

@ -1,10 +1,10 @@
# $OpenBSD: Makefile,v 1.3 2014/04/23 14:12:28 jca Exp $
# $OpenBSD: Makefile,v 1.4 2014/08/23 07:09:18 chrisz Exp $
COMMENT = an extensible platform for analysis of C software
DISTNAME = frama-c-Neon-20140301
PKGNAME = frama-c-1.10
REVISION = 0
REVISION = 1
CATEGORIES = devel
HOMEPAGE = http://www.frama-c.com/

4
lang/obc/Makefile
View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.4 2013/03/11 11:20:28 espie Exp $
# $OpenBSD: Makefile,v 1.5 2014/08/23 07:09:18 chrisz Exp $
# Fatal error: assertion sizeof(page_index) == GC_PAGESIZE failed on line 1110 of file gc.c
ONLY_FOR_ARCHS= i386
@ -8,7 +8,7 @@ SHARED_ONLY = Yes
COMMENT = Oxford Oberon-2 compiler
DISTNAME = obc-2.9.2
REVISION = 0
REVISION = 1
CATEGORIES = lang
HOMEPAGE = http://spivey.oriel.ox.ac.uk/corner/Oxford_Oberon-2_compiler

3
math/coq/Makefile
View File

@ -1,9 +1,10 @@
# $OpenBSD: Makefile,v 1.25 2014/03/26 03:27:26 daniel Exp $
# $OpenBSD: Makefile,v 1.26 2014/08/23 07:09:18 chrisz Exp $
COMMENT= proof assistant based on a typed lambda calculus
V= 8.4pl3
DISTNAME= coq-$V
REVISION = 0
CATEGORIES= math
HOMEPAGE= http://coq.inria.fr/