blob: ba80aa806e95b00a9e36e5d225a83a10b9d4d3f0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
# 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
pkgrel = 1
url = https://alt-ergo.ocamlpro.com
arch = i686
arch = x86_64
license = custom:CeCILL-C
makedepends = lablgtk2
depends = gtksourceview2
depends = ocaml-zarith
depends = ocaml-zip
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
pkgname = alt-ergo
|