diff options
author | emersion | 2018-07-27 13:21:06 +0100 |
---|---|---|
committer | emersion | 2018-07-27 13:21:06 +0100 |
commit | 71209acba632bae8025874879ee3c9ea7ab35a61 (patch) | |
tree | 080454869da8c2534b843b5574449c7a819364f3 /.SRCINFO | |
parent | 45b4fed15a25bcca43577c2dc9d36a88ac070790 (diff) | |
download | aur-lem-git.tar.gz |
zarith -> ocaml-zarith
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ pkgbase = lem-git pkgdesc = Lem semantic definition language - pkgver = 2018.04.23.r0.g6885823 + pkgver = 2018.07.13.r0.g5056134 pkgrel = 1 url = https://github.com/rems-project/lem arch = any @@ -8,7 +8,7 @@ pkgbase = lem-git depends = ocaml depends = ocamlbuild depends = ocaml-findlib - depends = zarith + depends = ocaml-zarith depends = ocaml-num source = git+https://github.com/rems-project/lem.git sha512sums = SKIP |