diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..e662829d1009 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,19 @@ +# Generated by mksrcinfo v8 +# Sat Apr 16 05:49:50 UTC 2016 +pkgbase = why3-git + pkgdesc = The next generation of the former software verification platform Why + pkgver = 20120419 + pkgrel = 1 + url = http://why3.gforge.inria.fr/ + arch = x86_64 + arch = i686 + license = GPL + makedepends = ocaml + makedepends = ocaml-sqlite3 + makedepends = lablgtk2 + makedepends = git + depends = gtksourceview2 + conflicts = why3 + +pkgname = why3-git + |