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 /PKGBUILD | |
parent | c09a1e968bac13304608ceac59bd4781a9fea2d3 (diff) | |
download | aur-3b20d74374f529db419e592baf33b333ffa831e0.tar.gz |
alt-ergo: do not depend on -git specifically
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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") |