diff options
| author | Alad Wenter | 2019-11-30 19:12:26 +0100 |
|---|---|---|
| committer | Alad Wenter | 2019-11-30 19:12:26 +0100 |
| commit | 3b20d74374f529db419e592baf33b333ffa831e0 (patch) | |
| tree | d6a97efe5820ebb9ea7aa033711534388d0a5f56 /.SRCINFO | |
| parent | c09a1e968bac13304608ceac59bd4781a9fea2d3 (diff) | |
| download | aur-3b20d74374f529db419e592baf33b333ffa831e0.tar.gz | |
alt-ergo: do not depend on -git specifically
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,7 +1,7 @@ pkgbase = alt-ergo pkgdesc = SMT solver for software verification pkgver = 2.3.0 - pkgrel = 1 + pkgrel = 2 url = https://alt-ergo.ocamlpro.com arch = x86_64 license = custom:CeCILL-C @@ -12,8 +12,8 @@ pkgbase = alt-ergo depends = ocaml-zip depends = ocaml-num depends = ocaml-menhir - depends = ocaml-ocplib-simplex-git - depends = ocaml-psmt2-frontend-git + depends = ocaml-ocplib-simplex + depends = ocaml-psmt2-frontend source = https://github.com/OCamlPro/alt-ergo/archive/2.3.0.tar.gz source = non_fatal_warnings.patch sha256sums = 8bcb71bc7568658799d49ca595f793cb576534fe87752739f6ec1c215a292e5b |