blob: 97c760cf21f3b9698cb017d3dfd5d0501f7e3217 (
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 = The next generation of the software verification platform Why
pkgver = 0.88.0
pkgrel = 1
url = http://why3.lri.fr/
arch = x86_64
arch = i686
license = LGPL
makedepends = ocaml
makedepends = ocaml-menhir
makedepends = rubber
makedepends = gtksourceview2
makedepends = lablgtk2
makedepends = ocaml-ocamlgraph
makedepends = zarith
makedepends = coq
makedepends = isabelle
depends = gtksourceview2
options = !makeflags
source = https://gforge.inria.fr/frs/download.php/file/37147/why3-0.88.0.tar.gz
sha256sums = 523b2566aa8f2089e52d2ea78bce310a7668c1e488fca49b3272ccef1c24bda4
pkgname = why3
|