diff options
| author | Sebastian Stüber | 2020-04-18 23:39:28 +0200 |
|---|---|---|
| committer | Sebastian Stüber | 2020-04-18 23:39:28 +0200 |
| commit | 07b8084c0531ebc36ac7ddd133d8bfd565e19cf6 (patch) | |
| tree | e72289867301599cd562b549764d8e4e9b205c04 | |
| parent | ba3807c58ea3933af82795d95784ff4d2288e7c7 (diff) | |
| download | aur-07b8084c0531ebc36ac7ddd133d8bfd565e19cf6.tar.gz | |
isabelle 2020
| -rw-r--r-- | .SRCINFO | 7 | ||||
| -rw-r--r-- | PKGBUILD | 7 |
2 files changed, 7 insertions, 7 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 @@ -1,13 +1,13 @@ # Maintainer: badcasa <sebastian.stueber [at] t-online [dot] de> pkgname=isabelle -pkgver=2019 +pkgver=2020 pkgrel=1 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." arch=('i686' 'x86_64') url="https://www.cl.cam.ac.uk/research/hvg/Isabelle/" license=('custom:BSD') groups=('science') -depends=('perl' 'perl-libwww' 'python2') +depends=('perl' 'perl-libwww') if test "$CARCH" == x86_64; then optdepends+=('lib32-glibc: for improved performance of Poly/ML on x86_64 machines' 'lib32-gcc-libs: for improved performance of Poly/ML on x86_64 machines') @@ -32,5 +32,6 @@ package() { cp -r * $pkgdir/opt/isabelle/ $pkgdir/opt/isabelle/bin/isabelle install -d /opt/isabelle $pkgdir/usr/bin } -md5sums=('475b5be365477bf2ed035eeaf780c07e' + +md5sums=('7c69d3aa39116cd4a91ad1592a0431e1' 'd33d0dd09e9105f4f043bd5e59458481') |