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 b3b8f0795f69..b70a47f81097 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,13 +2,13 @@
_pkgname=lem
pkgname=$_pkgname-git
-pkgver=2018.04.23.r0.g6885823
+pkgver=2018.07.13.r0.g5056134
pkgrel=1
pkgdesc="Lem semantic definition language"
url='https://github.com/rems-project/lem'
license=('MIT')
arch=('any')
-depends=('ocaml' 'ocamlbuild' 'ocaml-findlib' 'zarith' 'ocaml-num')
+depends=('ocaml' 'ocamlbuild' 'ocaml-findlib' 'ocaml-zarith' 'ocaml-num')
source=('git+https://github.com/rems-project/lem.git')
sha512sums=('SKIP')