Github messages for voidlinux
 help / color / mirror / Atom feed
* [PR PATCH] OCaml 4.12
@ 2021-03-06 20:18 leahneukirchen
  2021-03-06 20:19 ` [PR PATCH] [Updated] " leahneukirchen
                   ` (13 more replies)
  0 siblings, 14 replies; 15+ messages in thread
From: leahneukirchen @ 2021-03-06 20:18 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 426 bytes --]

There is a new pull request by leahneukirchen against master on the void-packages repository

https://github.com/leahneukirchen/void-packages ocaml412
https://github.com/void-linux/void-packages/pull/29279

OCaml 4.12
First stab at it.

Currently broken:

- [ ] xen
- [ ] libguestfs
- [ ] unison
- [ ] polygen
- [ ] coccinelle

A patch file from https://github.com/void-linux/void-packages/pull/29279.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-ocaml412-29279.patch --]
[-- Type: text/x-diff, Size: 16817 bytes --]

From 0f63401d2dc7cf14c1ff94798e5b3893cd024d7e Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Fri, 5 Mar 2021 18:19:25 +0100
Subject: [PATCH 01/20] dovecot: update to 2.3.14.

---
 srcpkgs/dovecot/template | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/srcpkgs/dovecot/template b/srcpkgs/dovecot/template
index 84819fd693b..db1bde7f188 100644
--- a/srcpkgs/dovecot/template
+++ b/srcpkgs/dovecot/template
@@ -1,8 +1,8 @@
 # Template file for 'dovecot'
 # revbump dovecot-plugin-pigeonhole when updating dovecot!
 pkgname=dovecot
-version=2.3.13
-revision=3
+version=2.3.14
+revision=1
 build_style=gnu-configure
 configure_args="--with-moduledir=/usr/lib/dovecot/modules --with-sql=plugin
  --disable-static --with-pam --with-mysql --with-pgsql --with-lucene
@@ -19,7 +19,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="LGPL-2.1-or-later"
 homepage="https://dovecot.org/"
 distfiles="${homepage}/releases/2.3/${pkgname}-${version}.tar.gz"
-checksum=a3f875b80ec11a452480690108660030978c94fa8e796ad6d943a874b496f1c4
+checksum=c8b3d7f3af1e558a3ff0f970309d4013a4d3ce136f8c02a53a3b05f345b9a34a
 keep_libtool_archives=yes
 
 if [ "$CROSS_BUILD" ]; then

From 3a363adfc3e3bba5e9cd8a893c56c8102b3841f3 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Fri, 5 Mar 2021 18:19:30 +0100
Subject: [PATCH 02/20] dovecot-plugin-pigeonhole: update to 0.5.14.

---
 srcpkgs/dovecot-plugin-pigeonhole/template | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/srcpkgs/dovecot-plugin-pigeonhole/template b/srcpkgs/dovecot-plugin-pigeonhole/template
index 7b40b63aaac..c0ed31b43fa 100644
--- a/srcpkgs/dovecot-plugin-pigeonhole/template
+++ b/srcpkgs/dovecot-plugin-pigeonhole/template
@@ -1,7 +1,6 @@
 # Template file for 'dovecot-plugin-pigeonhole'
 pkgname=dovecot-plugin-pigeonhole
-version=0.5.13
-revision=2
+version=0.5.14
 wrksrc="dovecot-2.3-pigeonhole-${version}"
 build_style=gnu-configure
 configure_args="--prefix=/usr
@@ -19,7 +18,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="LGPL-2.1-or-later"
 homepage="https://pigeonhole.dovecot.org"
 distfiles="${homepage}/releases/2.3/${wrksrc}.tar.gz"
-checksum=911fe566da5b638eab1b11105314300bc9049cc3832d4bd2aed44c265013bf17
+checksum=68ca0f78a3caa6b090a469f45c395c44cf16da8fcb3345755b1ca436c9ffb2d2
 
 dovecot-plugin-pigeonhole-devel_package() {
 	depends="${sourcepkg}>=${version}_${revision}"

From 75a577798d928381ed7f52094637472e28858250 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Fri, 5 Mar 2021 18:31:04 +0100
Subject: [PATCH 03/20] perl-PDF-API2: update to 2.039.

---
 srcpkgs/perl-PDF-API2/template | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/srcpkgs/perl-PDF-API2/template b/srcpkgs/perl-PDF-API2/template
index 1e5ef0520fe..e3be0d9f166 100644
--- a/srcpkgs/perl-PDF-API2/template
+++ b/srcpkgs/perl-PDF-API2/template
@@ -1,7 +1,7 @@
 # Template file for 'perl-PDF-API2'
 pkgname=perl-PDF-API2
-version=2.038
-revision=2
+version=2.039
+revision=1
 wrksrc="PDF-API2-${version}"
 build_style=perl-module
 hostmakedepends="perl"
@@ -13,4 +13,4 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="LGPL-2.1-or-later"
 homepage="https://metacpan.org/release/PDF-API2"
 distfiles="${CPAN_SITE}/PDF/PDF-API2-${version}.tar.gz"
-checksum=7447c4749b02a784f525d3c7ece99d34b0a10475db65096f6316748dd2f9bd09
+checksum=36a74318847fe92ecec45221bc78f209e194f9f979521710a89ef7baa955a123

From b837680bccf4bc989692796fd62a9332fcb4c59a Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Fri, 5 Mar 2021 18:31:30 +0100
Subject: [PATCH 04/20] progress: update to 0.16.

---
 srcpkgs/progress/template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/srcpkgs/progress/template b/srcpkgs/progress/template
index e9988680797..c71302e545a 100644
--- a/srcpkgs/progress/template
+++ b/srcpkgs/progress/template
@@ -1,6 +1,6 @@
 # Template file for 'progress'
 pkgname=progress
-version=0.15
+version=0.16
 revision=1
 makedepends="ncurses-devel"
 short_desc="Tool for showing the progress of cp, rm, dd and more"
@@ -8,7 +8,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="GPL-3.0-or-later"
 homepage="https://github.com/Xfennec/progress"
 distfiles="https://github.com/Xfennec/progress/archive/v${version}.tar.gz"
-checksum=1ed0ac65a912ef1aa605d524eaddaacae92079cf71182096a7c65cbc61687d1b
+checksum=59944ee35f8ae6d62ed4f9b643eee2ae6d03825da288d9779dc43de41164c834
 
 do_build() {
 	${CC} ${CFLAGS} -D_FILE_OFFSET_BITS=64 \

From 8f71bbb9fad6241bab7edec7ba2ee783493b1eeb Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 6 Mar 2021 15:55:44 +0100
Subject: [PATCH 05/20] autocutsel: update to 0.10.1.

---
 srcpkgs/autocutsel/template | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/srcpkgs/autocutsel/template b/srcpkgs/autocutsel/template
index 59648a29e0a..e537939d0cd 100644
--- a/srcpkgs/autocutsel/template
+++ b/srcpkgs/autocutsel/template
@@ -1,7 +1,7 @@
 # Template file for 'autocutsel'
 pkgname=autocutsel
-version=0.10.0
-revision=6
+version=0.10.1
+revision=1
 build_style=gnu-configure
 makedepends="libXaw-devel"
 short_desc="Synchronize the two copy/paste buffers used by X applications"
@@ -9,4 +9,4 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="GPL-2.0-or-later"
 homepage="https://github.com/sigmike/autocutsel"
 distfiles="https://github.com/sigmike/autocutsel/releases/download/$version/autocutsel-$version.tar.gz"
-checksum=a2376330aa1a65f36621595a5a4eb5c2cabc16854b69d66c285f11f89bd05e3f
+checksum=f17e06d42f7494436d4b26f4be0b6b0da39481c0400c96778e4b905b6341eb17

From cf9af725e4d789693483184ac3f50a208e4aa704 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 6 Mar 2021 15:56:58 +0100
Subject: [PATCH 06/20] rex: update to 1.13.3.

---
 srcpkgs/rex/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/rex/template b/srcpkgs/rex/template
index 6160f04baa2..712f1aa1cf9 100644
--- a/srcpkgs/rex/template
+++ b/srcpkgs/rex/template
@@ -1,6 +1,6 @@
 # Template file for 'rex'
 pkgname=rex
-version=1.13.2
+version=1.13.3
 revision=1
 wrksrc="Rex-${version}"
 build_style=perl-module

From 2f68b67ace5cbfc5507e7193fbdf08d575fa461c Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 6 Mar 2021 16:00:06 +0100
Subject: [PATCH 07/20] ocaml: update to 4.12.0.

---
 srcpkgs/ocaml/template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/srcpkgs/ocaml/template b/srcpkgs/ocaml/template
index c941d4b3368..70cb82442f2 100644
--- a/srcpkgs/ocaml/template
+++ b/srcpkgs/ocaml/template
@@ -1,6 +1,6 @@
 # Template file for 'ocaml'
 pkgname=ocaml
-version=4.11.1
+version=4.12.0
 revision=1
 build_style="gnu-configure"
 configure_args="--with-pic --disable-force-safe-string"
@@ -11,7 +11,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="QPL-1.0, LGPL-2.1-only"
 homepage="http://ocaml.org/"
 distfiles="https://github.com/${pkgname}/${pkgname}/archive/${version}.tar.gz"
-checksum=cd3cd55d465028b161c8c33bafc14ee6ae1d91b5efe51098350f8e8a5f454baf
+checksum=adc07a3995362403f3cb11085a86354de08e5a7f9eb3c09be7bbcc38a3a26744
 nocross=yes
 patch_args="-Np1"
 

From ca4c0de5395dab2c5db62006e82bfbf43d47aa98 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 6 Mar 2021 16:02:00 +0100
Subject: [PATCH 08/20] ocaml-findlib: rebuild for ocaml-4.12.0.

---
 srcpkgs/ocaml-findlib/template | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/srcpkgs/ocaml-findlib/template b/srcpkgs/ocaml-findlib/template
index 93ec4b9e6bc..68fa404fc51 100644
--- a/srcpkgs/ocaml-findlib/template
+++ b/srcpkgs/ocaml-findlib/template
@@ -1,7 +1,7 @@
 # Template file for 'ocaml-findlib'
 pkgname=ocaml-findlib
 version=1.8.1
-revision=4
+revision=5
 build_style=configure
 configure_args="-config /etc/findlib.conf -sitelib /usr/lib/ocaml -mandir /usr/share/man"
 make_build_args="all opt"
@@ -21,6 +21,4 @@ do_install() {
 	make prefix="$DESTDIR" install
 	vbin src/findlib/ocamlfind_opt
 	vlicense LICENSE
-
-	rm ${DESTDIR}/usr/lib/ocaml/ocamlbuild/META
 }

From 2625268fd3bf55fbba6a1c54e076e367d29cddec Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 6 Mar 2021 16:00:29 +0100
Subject: [PATCH 09/20] ocaml-num: rebuild for ocaml-4.12.0.

---
 srcpkgs/ocaml-num/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/ocaml-num/template b/srcpkgs/ocaml-num/template
index 736c1361b3d..faa7b02c15c 100644
--- a/srcpkgs/ocaml-num/template
+++ b/srcpkgs/ocaml-num/template
@@ -1,7 +1,7 @@
 # Template file for 'ocaml-num'
 pkgname=ocaml-num
 version=1.4
-revision=1
+revision=2
 wrksrc="num-${version}"
 build_style=gnu-makefile
 make_install_target="findlib-install"

From bf369bd49e59bc601ed9c2592e7de11bad4949e7 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 6 Mar 2021 16:06:01 +0100
Subject: [PATCH 10/20] ocaml-zarith: update to 1.12.

---
 srcpkgs/ocaml-zarith/template | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/srcpkgs/ocaml-zarith/template b/srcpkgs/ocaml-zarith/template
index 642476093c2..4c14a4143b1 100644
--- a/srcpkgs/ocaml-zarith/template
+++ b/srcpkgs/ocaml-zarith/template
@@ -1,7 +1,7 @@
 # Template file for 'ocaml-zarith'
 pkgname=ocaml-zarith
-version=1.11
-revision=2
+version=1.12
+revision=1
 wrksrc="Zarith-release-${version}"
 build_style=configure
 make_check_target="tests"
@@ -13,7 +13,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="LGPL-2.0-only,OCaml-LGPL-linking-exception"
 homepage="https://github.com/ocaml/zarith"
 distfiles="https://github.com/ocaml/zarith/archive/release-${version}.tar.gz"
-checksum=f996af120a10fd06a8272ae99b7affd57cef49c57a3a596e2f589147dd183684
+checksum=cc32563c3845c86d0f609c86d83bf8607ef12354863d31d3bffc0dacf1ed2881
 nocross=yes
 disable_parallel_build=yes
 

From 815e9143bb75ea2fb1b0bb202aaad7f27883f089 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 6 Mar 2021 16:06:17 +0100
Subject: [PATCH 11/20] ocamlbuild: rebuild for ocaml-4.12.0.

---
 srcpkgs/ocamlbuild/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/ocamlbuild/template b/srcpkgs/ocamlbuild/template
index c0caeba4be2..9be2cd0dbda 100644
--- a/srcpkgs/ocamlbuild/template
+++ b/srcpkgs/ocamlbuild/template
@@ -1,7 +1,7 @@
 # Template file for 'ocamlbuild'
 pkgname=ocamlbuild
 version=0.14.0
-revision=5
+revision=6
 build_style=gnu-makefile
 make_build_args="PREFIX=/usr"
 make_install_args="PREFIX=/usr"

From 6386838a743a7b615c09f0d5bd97856a34c386ff Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 6 Mar 2021 16:06:30 +0100
Subject: [PATCH 12/20] camlp5: rebuild for ocaml-4.12.0.

---
 srcpkgs/camlp5/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/camlp5/template b/srcpkgs/camlp5/template
index 3b6b18ce5e8..696d3a4093e 100644
--- a/srcpkgs/camlp5/template
+++ b/srcpkgs/camlp5/template
@@ -1,7 +1,7 @@
 # Template file for 'camlp5'
 pkgname=camlp5
 version=7.14
-revision=1
+revision=2
 wrksrc="camlp5-rel${version//./}"
 build_style=configure
 configure_args="-mandir /usr/share/man"

From c5f618066d0ceae61f62ce07fdbf98013bd737ae Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 6 Mar 2021 16:11:30 +0100
Subject: [PATCH 13/20] hivex: rebuild for ocaml-4.12.0.

---
 srcpkgs/hivex/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/hivex/template b/srcpkgs/hivex/template
index 6ea87921c50..fee00bd4ae9 100644
--- a/srcpkgs/hivex/template
+++ b/srcpkgs/hivex/template
@@ -1,7 +1,7 @@
 # Template file for 'hivex'
 pkgname=hivex
 version=1.3.19
-revision=4
+revision=5
 build_style=gnu-configure
 configure_args="--disable-ocaml" # currently ocaml is broken
 hostmakedepends="python3 perl ruby ocaml ocaml-findlib perl-IO-stringy"

From df28bf6b42b2ecf8b6a29bebd9e714996e460823 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 6 Mar 2021 16:30:05 +0100
Subject: [PATCH 14/20] opam: rebuild for ocaml-4.12.0.

---
 srcpkgs/opam/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/opam/template b/srcpkgs/opam/template
index ec430863b4d..c06f3dda355 100644
--- a/srcpkgs/opam/template
+++ b/srcpkgs/opam/template
@@ -1,7 +1,7 @@
 # Template file for 'opam'
 pkgname=opam
 version=2.0.8
-revision=2
+revision=3
 build_style=gnu-configure
 configure_args="--docdir=/usr/share/doc/${pkgname}"
 make_build_args="lib-ext all"

From 70fbc12537f2c15a38e86eef19d9a735715027a8 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 6 Mar 2021 16:59:07 +0100
Subject: [PATCH 15/20] ocaml-lablgtk2: rebuild for ocaml-4.12.0.

---
 srcpkgs/ocaml-lablgtk2/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/ocaml-lablgtk2/template b/srcpkgs/ocaml-lablgtk2/template
index e1ef60da18c..952b4b9c3dc 100644
--- a/srcpkgs/ocaml-lablgtk2/template
+++ b/srcpkgs/ocaml-lablgtk2/template
@@ -1,7 +1,7 @@
 # Template file for 'ocaml-lablgtk2'
 pkgname=ocaml-lablgtk2
 version=2.18.10
-revision=2
+revision=3
 wrksrc="lablgtk-${version}"
 build_style=gnu-configure
 configure_args="--without-glade --without-gnomeui --without-gtksourceview"

From a8d5976068b977d10ec674ca6c9f3e266aa00461 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 6 Mar 2021 16:59:49 +0100
Subject: [PATCH 16/20] pdfsandwich: rebuild for ocaml-4.12.0.

---
 srcpkgs/pdfsandwich/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/pdfsandwich/template b/srcpkgs/pdfsandwich/template
index 67c1a011ba7..07052abf413 100644
--- a/srcpkgs/pdfsandwich/template
+++ b/srcpkgs/pdfsandwich/template
@@ -1,7 +1,7 @@
 # Template file for 'pdfsandwich'
 pkgname=pdfsandwich
 version=0.1.7
-revision=3
+revision=4
 build_style=gnu-configure
 hostmakedepends="ocaml perl"
 makedepends="ocaml"

From 2f65ac8ab287715d470c79a34c11b2b1c36ed22b Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 6 Mar 2021 17:00:13 +0100
Subject: [PATCH 17/20] supermin: rebuild for ocaml-4.12.0.

---
 srcpkgs/supermin/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/supermin/template b/srcpkgs/supermin/template
index ff5304205bc..c088cb9a438 100644
--- a/srcpkgs/supermin/template
+++ b/srcpkgs/supermin/template
@@ -1,7 +1,7 @@
 # Template file for 'supermin'
 pkgname=supermin
 version=5.2.1
-revision=1
+revision=2
 _release_series=5.2-stable
 build_style=gnu-configure
 hostmakedepends="ocaml ocaml-findlib pkg-config e2fsprogs cpio perl"

From 0d29ebd8014c7ae4762ddf6e6af38b0ec83d4d0f Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 6 Mar 2021 17:03:59 +0100
Subject: [PATCH 18/20] z3: rebuild for ocaml-4.12.0.

---
 srcpkgs/z3/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/z3/template b/srcpkgs/z3/template
index 8a58beb6fba..125f2d856ee 100644
--- a/srcpkgs/z3/template
+++ b/srcpkgs/z3/template
@@ -1,7 +1,7 @@
 # Template file for 'z3'
 pkgname=z3
 version=4.8.10
-revision=1
+revision=2
 wrksrc="${pkgname}-${pkgname}-${version}"
 build_style=configure
 configure_args="--prefix=/usr -g --python $(vopt_if ocaml --ml)"

From a0bd43477105eda0f5eb118e8002132d209ab5bd Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 6 Mar 2021 17:06:36 +0100
Subject: [PATCH 19/20] zeroinstall: rebuild for ocaml-4.12.0.

---
 srcpkgs/zeroinstall/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/zeroinstall/template b/srcpkgs/zeroinstall/template
index 514e22f7655..fe2835b1a9e 100644
--- a/srcpkgs/zeroinstall/template
+++ b/srcpkgs/zeroinstall/template
@@ -1,7 +1,7 @@
 # Template file for 'zeroinstall'
 pkgname=zeroinstall
 version=2.17
-revision=3
+revision=4
 wrksrc="0install-v${version}"
 build_style=gnu-makefile
 make_install_target="install_system"

From 76e7f56fc614f2a3a32a0c78fd02eb61dc80acc5 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 6 Mar 2021 21:15:12 +0100
Subject: [PATCH 20/20] coq: rebuild for ocaml-4.12.0.

---
 srcpkgs/coq/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 2f8f04c5e5e..377bbb95af7 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,7 +1,7 @@
 # Template file for 'coq'
 pkgname=coq
 version=8.13.1
-revision=1
+revision=2
 hostmakedepends="camlp5 ocaml ocaml-findlib ocaml-num ocaml-zarith"
 short_desc="Proof assistant written in OCaml"
 maintainer="Leah Neukirchen <leah@vuxu.org>"

^ permalink raw reply	[flat|nested] 15+ messages in thread

end of thread, other threads:[~2021-07-17 14:54 UTC | newest]

Thread overview: 15+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-03-06 20:18 [PR PATCH] OCaml 4.12 leahneukirchen
2021-03-06 20:19 ` [PR PATCH] [Updated] " leahneukirchen
2021-05-23 16:03 ` [PR REVIEW] " kit-ty-kate
2021-05-23 16:08 ` kit-ty-kate
2021-05-23 16:11 ` kit-ty-kate
2021-05-23 16:12 ` kit-ty-kate
2021-05-23 16:20 ` kit-ty-kate
2021-05-23 16:48 ` [PR PATCH] [Updated] " leahneukirchen
2021-05-23 16:58 ` leahneukirchen
2021-07-16 19:42 ` leahneukirchen
2021-07-16 19:45 ` leahneukirchen
2021-07-16 19:47 ` thypon
2021-07-16 19:56 ` leahneukirchen
2021-07-16 19:58 ` [PR PATCH] [Updated] " leahneukirchen
2021-07-17 14:54 ` [PR PATCH] [Merged]: " leahneukirchen

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).