blob: 4ac2fdb7553e3496c4f798dc6e9ede03d4f06870 (
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
26
27
|
pkgbase = why3
pkgdesc = A platform for deductive program verification
pkgver = 1.3.1
pkgrel = 3
url = http://why3.lri.fr/
arch = x86_64
license = LGPL
depends = gtksourceview2
depends = dune
depends = ocaml-findlib
depends = ocaml
depends = ocaml-menhir
depends = rubber
depends = gtksourceview2
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/38291/why3-1.3.1.tar.gz
sha256sums = 7b0d5e8f67aa3e964b44fe943cc7ea538a9ebef823713eda1b52fc0f0ccbec9b
pkgname = why3
|