blob: eb69d448582552cb04434ec2e4e7c185620115bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
pkgbase = why3
pkgdesc = A platform for deductive program verification
pkgver = 1.3.2
pkgrel = 1
url = http://why3.lri.fr/
arch = x86_64
license = LGPL
depends = gtksourceview2
depends = ocaml
depends = ocaml-menhir
depends = rubber
depends = lablgtk2
depends = ocaml-ocamlgraph
depends = ocaml-num
depends = ocaml-zarith
depends = ocaml-zip
depends = coq
depends = isabelle
options = !makeflags
source = https://gforge.inria.fr/frs/download.php/file/38366/why3-1.3.2.tar.gz
sha256sums = 8753ee9b75c69def9acdaecb4e99fb458715fee1e89c7a7e5be7af777b14a525
pkgname = why3
|