bump REVISION for ports using MODULES=lang/ocaml which have now picked

up USE_NOBTCFI
master
sthen 2023-07-24 12:12:55 +00:00
parent 73bdf5b501
commit 648b9bb1d1
25 changed files with 25 additions and 21 deletions

View File

@ -5,7 +5,7 @@ ONLY_FOR_ARCHS = ${OCAML_NATIVE_ARCHS}
COMMENT= framework for analysis and transformation of C
CATEGORIES = devel lang
REVISION = 4
REVISION = 5
DISTNAME = cil-1.7.3
EXTRACT_SUFX = .tar.gz
MASTER_SITES = ${MASTER_SITE_SOURCEFORGE:=cil/}

View File

@ -11,7 +11,7 @@ COMMENT = program matching and transformation engine
GH_ACCOUNT = coccinelle
GH_PROJECT = coccinelle
GH_TAGNAME = 1.1.1
REVISION = 1
REVISION = 2
CATEGORIES = devel

View File

@ -4,6 +4,7 @@ COMMENT-main = OCaml build system
COMMENT-configurator = OCaml library for gathering system configuration
VERSION = 3.6.2
REVISION-main = 0
CATEGORIES = devel

View File

@ -8,7 +8,7 @@ CATEGORIES = devel
GH_ACCOUNT = Frama-C
GH_PROJECT = Frama-C-snapshot
GH_TAGNAME = 19.0
REVISION = 5
REVISION = 6
DISTNAME = frama-c-${GH_TAGNAME}-Potassium
PKGNAME = frama-c-${GH_TAGNAME}

View File

@ -4,7 +4,7 @@ CATEGORIES = devel
GH_ACCOUNT = ocaml-community
GH_PROJECT = cppo
GH_TAGNAME = v1.6.6
REVISION = 5
REVISION = 6
PKGNAME = ocaml-${DISTNAME}
# 3-clause BSD

View File

@ -2,7 +2,7 @@ COMMENT = OCaml graph library
CATEGORIES = devel
V = 1.8.8
REVISION = 5
REVISION = 6
DISTNAME = ocamlgraph-${V}
PKGNAME = ocaml-graph-${V}
MASTER_SITES = http://ocamlgraph.lri.fr/download/

View File

@ -1,7 +1,7 @@
COMMENT = OCaml parser generator for LR(1) grammars
V = 20211012
REVISION = 0
REVISION = 1
DISTNAME = menhir-${V}
PKGNAME = ocaml-${DISTNAME}

View File

@ -4,7 +4,7 @@ CATEGORIES = devel
GH_ACCOUNT = ocaml
GH_PROJECT = ocamlbuild
GH_TAGNAME = 0.14.0
REVISION = 4
REVISION = 5
# LGPLv2.1+
PERMIT_PACKAGE = Yes

View File

@ -2,7 +2,7 @@ COMMENT = OCaml parallel map primitive for multicores
CATEGORIES = devel
V = 1.0-rc10
REVISION = 4
REVISION = 5
NAME = ocaml-parmap
DISTNAME = ocaml-parmap-$V
DISTFILES = ${DISTNAME}{$V}.tar.gz

View File

@ -8,7 +8,7 @@ PKGNAME = ocaml-${DISTNAME}
MASTER_SITES = https://github.com/mmottl/pcre-ocaml/releases/download/${V}/
EXTRACT_SUFX = .tbz
HOMEPAGE = https://github.com/mmottl/pcre-ocaml
REVISION = 0
REVISION = 1
# GPLv2+
PERMIT_PACKAGE = Yes

View File

@ -7,7 +7,7 @@ GH_PROJECT = yojson
GH_COMMIT = 187132277170a30c5c3b0672c548c82fc372e43a
DISTNAME = ${GH_PROJECT}-${V}
PKGNAME = ocaml-${DISTNAME}
REVISION = 2
REVISION = 3
# 3-clause BSD
PERMIT_PACKAGE = Yes

View File

@ -4,7 +4,7 @@ CATEGORIES = graphics
V = 0.6.2
DISTNAME = cairo2-$V
PKGNAME = ocaml-cairo-$V
REVISION = 4
REVISION = 5
# LGPL 3.0
PERMIT_PACKAGE = Yes

View File

@ -2,7 +2,7 @@ COMMENT = graphics library providing basic drawing primitives
CATEGORIES = graphics
V = 5.0.0
REVISION = 3
REVISION = 4
DISTNAME = graphics-$V
PKGNAME = ocaml-graphics-$V

View File

@ -4,7 +4,7 @@ COMMENT = toolkit for the Haxe programming language
V = 4.0.5
DISTNAME = haxe-${V}
REVISION = 2
REVISION = 3
GH_ACCOUNT = HaxeFoundation
GH_PROJECT = haxe

View File

@ -10,6 +10,7 @@ WRKDIST = ${WRKDIR}/${GH_PROJECT}-${GH_TAGNAME:S/+/-/}
PKGNAME = ocaml-${DISTNAME}
# No dynlink compatibility between releases
PKGSPEC = ocaml-camlp4-=${V}v${EPOCH}
REVISION = 0
HOMEPAGE = https://github.com/ocaml/camlp4/

View File

@ -3,7 +3,7 @@ COMMENT = OCaml Preprocessor and Pretty-Printer
DISTFILES = camlp5-rel${V}{rel${V:S/.//}}${EXTRACT_SUFX}
PKGNAME = ocaml-camlp5-${V}
CATEGORIES = lang
REVISION = 0
REVISION = 1
HOMEPAGE = https://camlp5.github.io/
MAINTAINER = Christopher Zimmermann <chrisz@openbsd.org>

View File

@ -4,7 +4,7 @@ V= 8.13.2
GH_ACCOUNT = coq
GH_PROJECT = coq
GH_TAGNAME = V${V}
REVISION = 3
REVISION = 4
CATEGORIES= math
HOMEPAGE= https://coq.inria.fr/

View File

@ -9,7 +9,7 @@ GH_TAGNAME = v${V}
DISTNAME = ${GH_PROJECT}-${V}
PKGNAME = ocaml-${DISTNAME}
HOMEPAGE = https://github.com/ocaml/num/
REVISION = 1
REVISION = 2
MAINTAINER = Christopher Zimmermann <chrisz@openbsd.org>

View File

@ -7,6 +7,7 @@ GH_PROJECT = Zarith
GH_TAGNAME = release-${V}
DISTNAME = ${GH_PROJECT}-${V}
PKGNAME = ocaml-zarith-${V}
REVISION = 0
HOMEPAGE = https://github.com/ocaml/num/

View File

@ -2,7 +2,7 @@ COMMENT = e-donkey client
VER = 3.1.6
DISTNAME = mldonkey-${VER}
REVISION = 12
REVISION = 13
CATEGORIES = net
HOMEPAGE = http://mldonkey.sourceforge.net/Main_Page

View File

@ -8,7 +8,7 @@ COMMENT = multi-platform file synchronization tool
GH_ACCOUNT = bcpierce00
GH_PROJECT = unison
GH_TAGNAME = v2.53.3
REVISION = 0
REVISION = 1
CATEGORIES = net

View File

@ -10,7 +10,7 @@ DISTNAME = hevea-2.34
MASTER_SITES = http://hevea.inria.fr/distri/ \
http://hevea.inria.fr/old/ \
https://spacehopper.org/mirrors/
REVISION = 2
REVISION = 3
USE_NOEXECONLY = Yes
DISTFILES= ${DISTNAME}${EXTRACT_SUFX} ${DISTNAME}-manual${EXTRACT_SUFX}

View File

@ -1,6 +1,7 @@
COMMENT = periodic table of elements
DISTNAME = kalzium-${VERSION}
CATEGORIES = education math
REVISION = 0
HOMEPAGE = https://edu.kde.org/kalzium/

View File

@ -4,7 +4,7 @@ V = 2.18.11
DISTNAME = lablgtk2-$V
PKGNAME = lablgtk2-$V
CATEGORIES = x11 devel
REVISION = 1
REVISION = 2
HOMEPAGE = http://lablgtk.forge.ocamlcore.org/
GH_ACCOUNT = garrigue

View File

@ -3,7 +3,7 @@ CATEGORIES = x11 devel
V = 3.1.1
DISTNAME = lablgtk3-${V}
REVISION = 4
REVISION = 5
MASTER_SITES = https://github.com/garrigue/lablgtk/releases/download/${V}/
EXTRACT_SUFX = .tbz