diff options
author | badcasa | 2017-04-18 18:20:25 +0200 |
---|---|---|
committer | badcasa | 2017-04-18 18:20:25 +0200 |
commit | 088e920783370fbc8ae94cc316416d214d359fe0 (patch) | |
tree | fb0ad0eacdab1160313b3028e93d7ae381f3d07d /.SRCINFO | |
parent | 349535f2a1ee70b7c08701df333b9eae381b545b (diff) | |
download | aur-088e920783370fbc8ae94cc316416d214d359fe0.tar.gz |
maintainer changed, fixed broken sources
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 14 |
1 files changed, 6 insertions, 8 deletions
@@ -1,10 +1,8 @@ -# 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 = 2016 + 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 pkgrel = 1 - url = http://www.cl.cam.ac.uk/research/hvg/Isabelle/ + url = https://www.cl.cam.ac.uk/research/hvg/Isabelle/ arch = i686 arch = x86_64 groups = science @@ -13,11 +11,11 @@ pkgbase = isabelle depends = perl-libwww depends = python2 optdepends = texlive-core: document preparation - source = http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2016_linux.tar.gz + source = https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2016-1_app.tar.gz source = isabelle.desktop - md5sums = d92c888eb61f7bd51917d5a79a0eb8c0 + md5sums = 7fbfd0af7ac722e3f961951106887f8a md5sums = d33d0dd09e9105f4f043bd5e59458481 - sha256sums = 64f5357f638220a855311a604eaf8fc4bb7e703b7cf3ea997723ace875c6014a + sha256sums = b9ac02fc086c7242a2424839d4daf9d4d24e9360fe3368fe20598758ab7b2cf0 sha256sums = 84b61a83692939ca9e08402f1c55a06e4ccac8941664435d20b0ef0ceed9f43a pkgname = isabelle |