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