blob: b0ab62a1df65c6710457391767a7074f27089b22 (
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
25
|
pkgbase = why3
pkgdesc = A platform for deductive program verification
pkgver = 1.2.0
pkgrel = 1
url = http://why3.lri.fr/
arch = x86_64
license = LGPL
makedepends = ocaml
makedepends = ocaml-menhir
makedepends = rubber
makedepends = gtksourceview2
makedepends = lablgtk2
makedepends = ocaml-ocamlgraph
makedepends = ocaml-num
makedepends = ocaml-zarith
makedepends = ocaml-zip
makedepends = coq
makedepends = isabelle
depends = gtksourceview2
options = !makeflags
source = https://gforge.inria.fr/frs/download.php/file/37903/why3-1.2.0.tar.gz
sha256sums = 888c09fbad8d5c83b3c23ebc8d89fcb9c535cc3ee2cb8c3752329c086500e077
pkgname = why3
|