diff options
| author | bitwave | 2021-02-22 10:05:31 +0100 |
|---|---|---|
| committer | bitwave | 2021-02-22 10:05:31 +0100 |
| commit | dfa7272f37936815a2ab394954af4f9ed416e2b2 (patch) | |
| tree | aaf78bd5d5b48152af07f07b4e6bcb9cd843c4ae | |
| parent | 07b8084c0531ebc36ac7ddd133d8bfd565e19cf6 (diff) | |
| download | aur-dfa7272f37936815a2ab394954af4f9ed416e2b2.tar.gz | |
upgpkg: isabelle 2021-1
upstream release
| -rw-r--r-- | .SRCINFO | 6 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 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 = 2020 + pkgver = 2021 pkgrel = 1 url = https://www.cl.cam.ac.uk/research/hvg/Isabelle/ arch = i686 @@ -10,9 +10,9 @@ pkgbase = isabelle depends = perl depends = perl-libwww optdepends = texlive-core: document preparation - source = https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2020_linux.tar.gz + source = https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2021_linux.tar.gz source = isabelle.desktop - md5sums = 7c69d3aa39116cd4a91ad1592a0431e1 + md5sums = 9b91f6f78a5d3ab701d07f15404746d2 md5sums = d33d0dd09e9105f4f043bd5e59458481 pkgname = isabelle @@ -1,6 +1,6 @@ # Maintainer: badcasa <sebastian.stueber [at] t-online [dot] de> pkgname=isabelle -pkgver=2020 +pkgver=2021 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') @@ -33,5 +33,5 @@ package() { $pkgdir/opt/isabelle/bin/isabelle install -d /opt/isabelle $pkgdir/usr/bin } -md5sums=('7c69d3aa39116cd4a91ad1592a0431e1' +md5sums=('9b91f6f78a5d3ab701d07f15404746d2' 'd33d0dd09e9105f4f043bd5e59458481') |