diff options
author | Marek Kubica | 2015-06-08 20:18:06 +0200 |
---|---|---|
committer | Marek Kubica | 2015-06-08 20:18:06 +0200 |
commit | 0ee2c8adf8806d069f2567a2601ea5e86d1b8a6e (patch) | |
tree | 321cb2fd4e72d2b6a2f7c288cee051ae357baff6 /.SRCINFO | |
download | aur-0ee2c8adf8806d069f2567a2601ea5e86d1b8a6e.tar.gz |
Initial import
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..f4e0fa1a5c1d --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,18 @@ +pkgbase = why3 + pkgdesc = The next generation of the former software verification platform Why + pkgver = 0.85 + pkgrel = 1 + url = http://why3.gforge.inria.fr/ + arch = x86_64 + arch = i686 + license = GPL + makedepends = ocaml + makedepends = ocaml-sqlite3 + makedepends = lablgtk2 + depends = gtksourceview2 + depends = sqlite3 + source = https://gforge.inria.fr/frs/download.php/34074/why3-0.85.tar.gz + md5sums = f6d36c0dc43fe75af148d92d76b15937 + +pkgname = why3 + |