diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 14 |
1 files changed, 8 insertions, 6 deletions
@@ -1,21 +1,23 @@ -# Generated by mksrcinfo v8 -# Sun Jan 27 02:07:25 UTC 2019 pkgbase = alt-ergo pkgdesc = SMT solver for software verification - pkgver = 2.2.0 + pkgver = 2.3.0 pkgrel = 1 url = https://alt-ergo.ocamlpro.com - arch = i686 arch = x86_64 license = custom:CeCILL-C makedepends = lablgtk2 + makedepends = dune depends = gtksourceview2 depends = ocaml-zarith depends = ocaml-zip + depends = ocaml-num + depends = ocaml-menhir 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 + source = https://github.com/OCamlPro/alt-ergo/archive/2.3.0.tar.gz + source = non_fatal_warnings.patch + sha256sums = 8bcb71bc7568658799d49ca595f793cb576534fe87752739f6ec1c215a292e5b + sha256sums = c09353c7d125135e9d451fa55d087dc4c92eadeb280cd56926723673a02a5e84 pkgname = alt-ergo |