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 | |
| parent | 45b4fed15a25bcca43577c2dc9d36a88ac070790 (diff) | |
| download | aur-71209acba632bae8025874879ee3c9ea7ab35a61.tar.gz | |
zarith -> ocaml-zarith
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
2 files changed, 4 insertions, 4 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 @@ -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') |