summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 04a00b484d3c..483874c29b11 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Jakob Gahde <j5lx@fmail.co.uk>
pkgname=ocaml-core_bench
-pkgver=112.17.00
+pkgver=112.35.00
pkgrel=1
license=('unknown')
arch=('i686' 'x86_64')
@@ -11,7 +11,7 @@ depends=('ocaml' 'ocaml-bin_prot' 'camlp4' 'ocaml-comparelib' 'ocaml-core' 'ocam
makedepends=('ocaml-findlib')
source=("https://ocaml.janestreet.com/ocaml-core/$(echo ${pkgver} | grep -Po "^[0-9]+\.[0-9]+")/files/${pkgname#ocaml-}-${pkgver}.tar.gz")
options=('!strip')
-md5sums=('d507304cc31692cf9ba4c7bdf3e9cc25')
+md5sums=('f2811e531a07264006767ea98f9e98ff')
build() {
cd "${srcdir}/${pkgname#ocaml-}-${pkgver}"