diff options
| -rw-r--r-- | .SRCINFO | 6 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 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 @@ -1,13 +1,13 @@ # Maintainer: Matej Grabovsky <matej.grabovsky at gmail> pkgname=alt-ergo pkgver=2.3.0 -pkgrel=1 +pkgrel=2 pkgdesc='SMT solver for software verification' arch=('x86_64') license=('custom:CeCILL-C') url='https://alt-ergo.ocamlpro.com' depends=('gtksourceview2' 'ocaml-zarith' 'ocaml-zip' 'ocaml-num' 'ocaml-menhir' - 'ocaml-ocplib-simplex-git' 'ocaml-psmt2-frontend-git') + 'ocaml-ocplib-simplex' 'ocaml-psmt2-frontend') makedepends=('lablgtk2' 'dune') source=("https://github.com/OCamlPro/alt-ergo/archive/$pkgver.tar.gz" "non_fatal_warnings.patch") |