diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 7 |
1 files changed, 3 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 = 2019 + pkgver = 2020 pkgrel = 1 url = https://www.cl.cam.ac.uk/research/hvg/Isabelle/ arch = i686 @@ -9,11 +9,10 @@ pkgbase = isabelle license = custom:BSD depends = perl depends = perl-libwww - depends = python2 optdepends = texlive-core: document preparation - source = https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2019_linux.tar.gz + source = https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2020_linux.tar.gz source = isabelle.desktop - md5sums = 475b5be365477bf2ed035eeaf780c07e + md5sums = 7c69d3aa39116cd4a91ad1592a0431e1 md5sums = d33d0dd09e9105f4f043bd5e59458481 pkgname = isabelle |