diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 11 |
1 files changed, 8 insertions, 3 deletions
@@ -1,9 +1,9 @@ # Generated by mksrcinfo v8 -# Sat Apr 16 05:49:50 UTC 2016 +# Sat Apr 16 06:17:55 UTC 2016 pkgbase = why3-git pkgdesc = The next generation of the former software verification platform Why - pkgver = 20120419 - pkgrel = 1 + pkgver = 0.72.r3740.g406e7f0 + pkgrel = 2 url = http://why3.gforge.inria.fr/ arch = x86_64 arch = i686 @@ -11,9 +11,14 @@ pkgbase = why3-git makedepends = ocaml makedepends = ocaml-sqlite3 makedepends = lablgtk2 + makedepends = ocaml-menhir makedepends = git + makedepends = autoconf depends = gtksourceview2 + depends = sqlite conflicts = why3 + source = why3::git+https://scm.gforge.inria.fr/anonscm/git/why3/why3.git + md5sums = SKIP pkgname = why3-git |