diff options
| author | Sebastian Stüber | 2017-10-10 22:01:46 +0200 |
|---|---|---|
| committer | Sebastian Stüber | 2017-10-10 22:01:46 +0200 |
| commit | 59e3c11feb2dad639ef8a1812b760cef96ee2190 (patch) | |
| tree | 4826e89c86b7b0a2a2841430cc2b3f321d18bfa8 | |
| parent | c4852a6b0f0242f20ebb24524c337a4a182ff36c (diff) | |
| download | aur-59e3c11feb2dad639ef8a1812b760cef96ee2190.tar.gz | |
updates srcinfo
| -rw-r--r-- | .SRCINFO | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1,6 +1,6 @@ pkgbase = isabelle pkgdesc = 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 = 2016_1 + pkgver = 2017 pkgrel = 1 url = https://www.cl.cam.ac.uk/research/hvg/Isabelle/ arch = i686 @@ -11,11 +11,11 @@ pkgbase = isabelle depends = perl-libwww depends = python2 optdepends = texlive-core: document preparation - source = https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2016-1_app.tar.gz + source = https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2017_app.tar.gz source = isabelle.desktop - md5sums = 7fbfd0af7ac722e3f961951106887f8a + md5sums = ede5d5b77911806c6d6bcb680bd94a50 md5sums = d33d0dd09e9105f4f043bd5e59458481 - sha256sums = b9ac02fc086c7242a2424839d4daf9d4d24e9360fe3368fe20598758ab7b2cf0 + sha256sums = fca55aade626b611f4167d6fede2647247e746c6286cb40a9655392f55fe6107 sha256sums = 84b61a83692939ca9e08402f1c55a06e4ccac8941664435d20b0ef0ceed9f43a pkgname = isabelle |