diff options
| author | bitwave | 2016-02-21 12:34:33 +0100 |
|---|---|---|
| committer | bitwave | 2016-02-21 12:34:33 +0100 |
| commit | 349535f2a1ee70b7c08701df333b9eae381b545b (patch) | |
| tree | 56fdfe5db5c15eb0553b9b1cf3337d23cf1f7fe4 | |
| parent | a435844f16595a273ef14e2ad0262f61e14b9813 (diff) | |
| download | aur-349535f2a1ee70b7c08701df333b9eae381b545b.tar.gz | |
[fix] updated srcinfo
| -rw-r--r-- | .SRCINFO | 12 |
1 files changed, 7 insertions, 5 deletions
@@ -1,7 +1,9 @@ +# Generated by mksrcinfo v8 +# Sun Feb 21 11:34:18 UTC 2016 pkgbase = isabelle pkgdesc = Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. - pkgver = 2015 - pkgrel = 3 + pkgver = 2016 + pkgrel = 1 url = http://www.cl.cam.ac.uk/research/hvg/Isabelle/ arch = i686 arch = x86_64 @@ -11,11 +13,11 @@ pkgbase = isabelle depends = perl-libwww depends = python2 optdepends = texlive-core: document preparation - source = http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2015_linux.tar.gz + source = http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2016_linux.tar.gz source = isabelle.desktop - md5sums = da5b4ca16cd0c83418514a5ea7ebec77 + md5sums = d92c888eb61f7bd51917d5a79a0eb8c0 md5sums = d33d0dd09e9105f4f043bd5e59458481 - sha256sums = c2a0dee5eb698b4a7f2fa785316e32682d67c36aabbc1f683cbca2860aa9788e + sha256sums = 64f5357f638220a855311a604eaf8fc4bb7e703b7cf3ea997723ace875c6014a sha256sums = 84b61a83692939ca9e08402f1c55a06e4ccac8941664435d20b0ef0ceed9f43a pkgname = isabelle |