diff options
| author | kaptoxic | 2019-01-26 21:07:35 -0500 |
|---|---|---|
| committer | kaptoxic | 2019-01-26 21:07:35 -0500 |
| commit | f1ea9fd349dcb19a9096fc432256fd9b2becb419 (patch) | |
| tree | 3390d0b934f153400069d72a3133960a5708c55b /.SRCINFO | |
| parent | d57336f3163a632522633223617a85302a10ad25 (diff) | |
| download | aur-f1ea9fd349dcb19a9096fc432256fd9b2becb419.tar.gz | |
Update to 2.2.0
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 13 |
1 files changed, 8 insertions, 5 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Wed Mar 23 18:55:07 UTC 2016 +# Sun Jan 27 02:07:25 UTC 2019 pkgbase = alt-ergo pkgdesc = SMT solver for software verification - pkgver = 1.01 + pkgver = 2.2.0 pkgrel = 1 url = https://alt-ergo.ocamlpro.com arch = i686 @@ -10,9 +10,12 @@ pkgbase = alt-ergo license = custom:CeCILL-C makedepends = lablgtk2 depends = gtksourceview2 - depends = zarith - source = alt-ergo::https://alt-ergo.ocamlpro.com/download_manager.php?target=alt-ergo-1.01.tar.gz - sha256sums = d51a9833acf265d475408cde04e9beb75f950355580b9c73292ffbfbebf280eb + depends = ocaml-zarith + depends = ocaml-zip + depends = ocaml-ocplib-simplex-git + depends = ocaml-psmt2-frontend-git + source = https://github.com/OCamlPro/alt-ergo/archive/2.2.0.tar.gz + sha256sums = 61b09612be666d1f5ac0abcc41d94bae81e036cc07cd74898dd37f7fbf48da06 pkgname = alt-ergo |