diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,7 +1,7 @@ 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 = 2 + pkgrel = 3 url = http://www.cl.cam.ac.uk/research/hvg/Isabelle/ arch = i686 arch = x86_64 @@ -16,9 +16,9 @@ pkgbase = isabelle source = http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2015_linux.tar.gz source = isabelle.desktop md5sums = da5b4ca16cd0c83418514a5ea7ebec77 - md5sums = bdbfb0a5309017a5bec4c5a89c3076d4 + md5sums = d33d0dd09e9105f4f043bd5e59458481 sha256sums = c2a0dee5eb698b4a7f2fa785316e32682d67c36aabbc1f683cbca2860aa9788e - sha256sums = 135a0fdd877d88ffe460914d582b5150d1cd7f3e764c696f14963df3333b5fcd + sha256sums = 84b61a83692939ca9e08402f1c55a06e4ccac8941664435d20b0ef0ceed9f43a pkgname = isabelle |