blob: e25ca7653eb9c9320a5cb7e9512172e6b553cb5a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
pkgbase = alt-ergo
pkgdesc = SMT solver for software verification
pkgver = 2.3.0
pkgrel = 1
url = https://alt-ergo.ocamlpro.com
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.3.0.tar.gz
source = non_fatal_warnings.patch
sha256sums = 8bcb71bc7568658799d49ca595f793cb576534fe87752739f6ec1c215a292e5b
sha256sums = c09353c7d125135e9d451fa55d087dc4c92eadeb280cd56926723673a02a5e84
pkgname = alt-ergo
|