summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMort Yao2018-11-02 16:39:19 +0100
committerMort Yao2018-11-02 16:39:19 +0100
commitf8a8a0f9531ecdbc74781f67828bbb21c9843d0c (patch)
treef2d98e54a8745e5aa464e9c2832d22437ad41ca0
parentefb58055a69627cd0a52e7f9c80f72aed8d28d13 (diff)
downloadaur-f8a8a0f9531ecdbc74781f67828bbb21c9843d0c.tar.gz
Update to ocaml-menhir-20181026-1
-rw-r--r--.SRCINFO8
-rw-r--r--PKGBUILD6
2 files changed, 7 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 72baca45d615..a8bfd0bb022c 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
# Generated by mksrcinfo v8
-# Thu Oct 11 10:07:28 UTC 2018
+# Fri Nov 2 15:34:53 UTC 2018
pkgbase = ocaml-menhir
pkgdesc = Menhir is a LR(1) parser generator for the OCaml.
- pkgver = 20181006
+ pkgver = 20181026
pkgrel = 1
url = http://cristal.inria.fr/~fpottier/menhir/
arch = i686
@@ -14,8 +14,8 @@ pkgbase = ocaml-menhir
depends = ocaml>=4.02
options = !strip
options = !makeflags
- source = http://cristal.inria.fr/~fpottier/menhir/menhir-20181006.tar.gz
- md5sums = d2174b0d4bd8feb66a7484be6f1eed14
+ source = https://gitlab.inria.fr/fpottier/menhir/-/archive/20181026/menhir-20181026.tar.gz
+ md5sums = 412a122a312462cd8345699032b7d795
pkgname = ocaml-menhir
diff --git a/PKGBUILD b/PKGBUILD
index fd959200daec..da055840a6a7 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -6,7 +6,7 @@
# Contributor: Nicolas Pouillard <nicolas.pouillard@gmail.com>
pkgname=ocaml-menhir
-pkgver=20181006
+pkgver=20181026
pkgrel=1
pkgdesc="Menhir is a LR(1) parser generator for the OCaml."
arch=("i686" "x86_64")
@@ -15,8 +15,8 @@ license=('GPL' 'QPL')
depends=('ocaml>=4.02')
makedepends=('ocamlbuild' 'ocaml-findlib')
options=(!strip !makeflags)
-source=("http://cristal.inria.fr/~fpottier/menhir/menhir-$pkgver.tar.gz")
-md5sums=('d2174b0d4bd8feb66a7484be6f1eed14')
+source=("https://gitlab.inria.fr/fpottier/menhir/-/archive/$pkgver/menhir-$pkgver.tar.gz")
+md5sums=('412a122a312462cd8345699032b7d795')
build() {
cd "$srcdir/${pkgname/ocaml-/}-$pkgver"