summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlad Wenter2019-11-30 19:12:26 +0100
committerAlad Wenter2019-11-30 19:12:26 +0100
commit3b20d74374f529db419e592baf33b333ffa831e0 (patch)
treed6a97efe5820ebb9ea7aa033711534388d0a5f56
parentc09a1e968bac13304608ceac59bd4781a9fea2d3 (diff)
downloadaur-3b20d74374f529db419e592baf33b333ffa831e0.tar.gz
alt-ergo: do not depend on -git specifically
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index e25ca7653eb..05dbddaeea1 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index 0352d79bcb2..a5c7bb24977 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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")