mirror of https://github.com/openbsd/ports.git
bump ocaml ports following ocaml update
This commit is contained in:
daniel
parent
b89b0b7e54
commit
ef60d9aab2
|
|
@ -5,7 +5,7 @@ ONLY_FOR_ARCHS = ${OCAML_NATIVE_ARCHS}
|
|||
COMMENT= framework for analysis and transformation of C
|
||||
CATEGORIES = devel lang
|
||||
|
||||
REVISION = 5
|
||||
REVISION = 6
|
||||
DISTNAME = cil-1.7.3
|
||||
EXTRACT_SUFX = .tar.gz
|
||||
SITES = ${SITE_SOURCEFORGE:=cil/}
|
||||
|
|
|
|||
|
|
@ -2,7 +2,7 @@ COMMENT = semantic grep, based on coccinelle
|
|||
|
||||
MODPY_EGG_VERSION = 1.20
|
||||
DISTNAME = coccigrep-${MODPY_EGG_VERSION}
|
||||
REVISION = 0
|
||||
REVISION = 1
|
||||
|
||||
CATEGORIES = devel textproc
|
||||
|
||||
|
|
|
|||
|
|
@ -11,7 +11,7 @@ COMMENT = program matching and transformation engine
|
|||
GH_ACCOUNT = coccinelle
|
||||
GH_PROJECT = coccinelle
|
||||
GH_TAGNAME = 1.1.1
|
||||
REVISION = 2
|
||||
REVISION = 3
|
||||
|
||||
CATEGORIES = devel
|
||||
|
||||
|
|
|
|||
|
|
@ -4,7 +4,8 @@ COMMENT-main = OCaml build system
|
|||
COMMENT-configurator = OCaml library for gathering system configuration
|
||||
|
||||
VERSION = 3.6.2
|
||||
REVISION-main = 0
|
||||
REVISION-main = 1
|
||||
REVISION-configurator = 0
|
||||
|
||||
CATEGORIES = devel
|
||||
|
||||
|
|
|
|||
|
|
@ -8,7 +8,7 @@ CATEGORIES = devel
|
|||
GH_ACCOUNT = Frama-C
|
||||
GH_PROJECT = Frama-C-snapshot
|
||||
GH_TAGNAME = 19.0
|
||||
REVISION = 6
|
||||
REVISION = 7
|
||||
DISTNAME = frama-c-${GH_TAGNAME}-Potassium
|
||||
PKGNAME = frama-c-${GH_TAGNAME}
|
||||
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@ CATEGORIES = devel
|
|||
GH_ACCOUNT = ocaml-community
|
||||
GH_PROJECT = cppo
|
||||
GH_TAGNAME = v1.6.6
|
||||
REVISION = 6
|
||||
REVISION = 7
|
||||
PKGNAME = ocaml-${DISTNAME}
|
||||
|
||||
# 3-clause BSD
|
||||
|
|
|
|||
|
|
@ -2,7 +2,7 @@ COMMENT = OCaml graph library
|
|||
CATEGORIES = devel
|
||||
|
||||
V = 1.8.8
|
||||
REVISION = 6
|
||||
REVISION = 7
|
||||
DISTNAME = ocamlgraph-${V}
|
||||
PKGNAME = ocaml-graph-${V}
|
||||
SITES = http://ocamlgraph.lri.fr/download/
|
||||
|
|
|
|||
|
|
@ -3,6 +3,7 @@ COMMENT = OCaml parser generator for LR(1) grammars
|
|||
V = 20230608
|
||||
DISTNAME = menhir-${V}
|
||||
PKGNAME = ocaml-${DISTNAME}
|
||||
REVISION = 0
|
||||
|
||||
SITES = https://gitlab.inria.fr/fpottier/menhir/-/archive/${V}/
|
||||
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@ CATEGORIES = devel
|
|||
GH_ACCOUNT = ocaml
|
||||
GH_PROJECT = ocamlbuild
|
||||
GH_TAGNAME = 0.14.0
|
||||
REVISION = 5
|
||||
REVISION = 6
|
||||
|
||||
# LGPLv2.1+
|
||||
PERMIT_PACKAGE = Yes
|
||||
|
|
|
|||
|
|
@ -2,7 +2,7 @@ COMMENT = OCaml parallel map primitive for multicores
|
|||
CATEGORIES = devel
|
||||
|
||||
V = 1.0-rc10
|
||||
REVISION = 5
|
||||
REVISION = 6
|
||||
NAME = ocaml-parmap
|
||||
DISTNAME = ocaml-parmap-$V
|
||||
DISTFILES = ${DISTNAME}{$V}.tar.gz
|
||||
|
|
|
|||
|
|
@ -7,7 +7,7 @@ GH_PROJECT = yojson
|
|||
GH_COMMIT = 187132277170a30c5c3b0672c548c82fc372e43a
|
||||
DISTNAME = ${GH_PROJECT}-${V}
|
||||
PKGNAME = ocaml-${DISTNAME}
|
||||
REVISION = 3
|
||||
REVISION = 4
|
||||
|
||||
# 3-clause BSD
|
||||
PERMIT_PACKAGE = Yes
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@ CATEGORIES = graphics
|
|||
V = 0.6.2
|
||||
DISTNAME = cairo2-$V
|
||||
PKGNAME = ocaml-cairo-$V
|
||||
REVISION = 5
|
||||
REVISION = 6
|
||||
|
||||
# LGPL 3.0
|
||||
PERMIT_PACKAGE = Yes
|
||||
|
|
|
|||
|
|
@ -2,7 +2,7 @@ COMMENT = graphics library providing basic drawing primitives
|
|||
CATEGORIES = graphics
|
||||
|
||||
V = 5.0.0
|
||||
REVISION = 4
|
||||
REVISION = 5
|
||||
DISTNAME = graphics-$V
|
||||
PKGNAME = ocaml-graphics-$V
|
||||
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@ ONLY_FOR_ARCHS = ${OCAML_NATIVE_ARCHS}
|
|||
COMMENT = generator for sandwich OCR pdf files
|
||||
|
||||
DISTNAME = pdfsandwich-0.1.7
|
||||
REVISION = 4
|
||||
REVISION = 5
|
||||
|
||||
CATEGORIES = graphics
|
||||
|
||||
|
|
|
|||
|
|
@ -8,6 +8,7 @@ GH_PROJECT = CompCert
|
|||
GH_TAGNAME = v${V}
|
||||
DISTNAME = ${GH_PROJECT}-${V}
|
||||
PKGNAME = ${DISTNAME:L}
|
||||
REVISION = 0
|
||||
|
||||
HOMEPAGE = https://compcert.org/
|
||||
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@ V= 8.13.2
|
|||
GH_ACCOUNT = coq
|
||||
GH_PROJECT = coq
|
||||
GH_TAGNAME = V${V}
|
||||
REVISION = 4
|
||||
REVISION = 5
|
||||
|
||||
CATEGORIES= math
|
||||
HOMEPAGE= https://coq.inria.fr/
|
||||
|
|
|
|||
|
|
@ -9,7 +9,7 @@ GH_TAGNAME = v${V}
|
|||
DISTNAME = ${GH_PROJECT}-${V}
|
||||
PKGNAME = ocaml-${DISTNAME}
|
||||
HOMEPAGE = https://github.com/ocaml/num/
|
||||
REVISION = 2
|
||||
REVISION = 3
|
||||
|
||||
MAINTAINER = Christopher Zimmermann <chrisz@openbsd.org>
|
||||
|
||||
|
|
|
|||
|
|
@ -7,7 +7,7 @@ GH_PROJECT = Zarith
|
|||
GH_TAGNAME = release-${V}
|
||||
DISTNAME = ${GH_PROJECT}-${V}
|
||||
PKGNAME = ocaml-zarith-${V}
|
||||
REVISION = 0
|
||||
REVISION = 1
|
||||
|
||||
HOMEPAGE = https://github.com/ocaml/num/
|
||||
|
||||
|
|
|
|||
|
|
@ -7,7 +7,7 @@ COMMENT = multi-platform file synchronization tool
|
|||
GH_ACCOUNT = bcpierce00
|
||||
GH_PROJECT = unison
|
||||
GH_TAGNAME = v2.53.3
|
||||
REVISION = 1
|
||||
REVISION = 2
|
||||
|
||||
CATEGORIES = net
|
||||
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
COMMENT= OCaml package manager
|
||||
CATEGORIES= sysutils
|
||||
DISTNAME= findlib-1.9.6
|
||||
REVISION= 0
|
||||
REVISION= 1
|
||||
|
||||
SITES= http://download.camlcity.org/download/
|
||||
|
||||
|
|
|
|||
|
|
@ -5,6 +5,7 @@ CATEGORIES = sysutils devel
|
|||
V = 2.0.10
|
||||
PKGNAME = opam-${V}
|
||||
DISTNAME = opam-full-${V}
|
||||
REVISION = 0
|
||||
|
||||
SITES = https://github.com/ocaml/opam/releases/download/${V}/
|
||||
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
COMMENT = collection of tools for translating from BibTeX to HTML
|
||||
|
||||
DISTNAME = bibtex2html-1.99
|
||||
REVISION = 4
|
||||
REVISION = 5
|
||||
|
||||
CATEGORIES = textproc
|
||||
HOMEPAGE = https://www.lri.fr/~filliatr/bibtex2html/
|
||||
|
|
|
|||
|
|
@ -10,7 +10,7 @@ DISTNAME = hevea-2.34
|
|||
SITES = http://hevea.inria.fr/distri/ \
|
||||
http://hevea.inria.fr/old/ \
|
||||
https://spacehopper.org/mirrors/
|
||||
REVISION = 3
|
||||
REVISION = 4
|
||||
USE_NOEXECONLY = Yes
|
||||
|
||||
DISTFILES= ${DISTNAME}${EXTRACT_SUFX} ${DISTNAME}-manual${EXTRACT_SUFX}
|
||||
|
|
|
|||
|
|
@ -1,6 +1,7 @@
|
|||
COMMENT = periodic table of elements
|
||||
DISTNAME = kalzium-${VERSION}
|
||||
CATEGORIES = education math
|
||||
REVISION = 0
|
||||
|
||||
HOMEPAGE = https://edu.kde.org/kalzium/
|
||||
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@ V = 2.18.11
|
|||
DISTNAME = lablgtk2-$V
|
||||
PKGNAME = lablgtk2-$V
|
||||
CATEGORIES = x11 devel
|
||||
REVISION = 2
|
||||
REVISION = 3
|
||||
|
||||
HOMEPAGE = http://lablgtk.forge.ocamlcore.org/
|
||||
GH_ACCOUNT = garrigue
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@ CATEGORIES = x11 devel
|
|||
|
||||
V = 3.1.1
|
||||
DISTNAME = lablgtk3-${V}
|
||||
REVISION = 5
|
||||
REVISION = 6
|
||||
|
||||
SITES = https://github.com/garrigue/lablgtk/releases/download/${V}/
|
||||
EXTRACT_SUFX = .tbz
|
||||
|
|
|
|||
Loading…
Reference in New Issue