diff options
author | bitwave | 2022-11-05 21:02:56 +0100 |
---|---|---|
committer | bitwave | 2022-11-05 21:02:56 +0100 |
commit | 7a2e1e45f9808cd88fa68ac4429c195e0792c62f (patch) | |
tree | 201bc4151b47121ad11117affbd948f57df34fd2 | |
parent | 7427ffab52e818736bc27eb72aae88c61cb29da0 (diff) | |
download | aur-7a2e1e45f9808cd88fa68ac4429c195e0792c62f.tar.gz |
upgpkg: isabelle 2022-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 = 2021_1 + pkgver = 2022 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/Isabelle2021-1_linux.tar.gz + source = https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2022_linux.tar.gz source = isabelle.desktop - sha256sums = 315daab84713f9b59e5da0a2c0e9efa6656ef6bc5957b21294088d0727c3ca49 + sha256sums = e7fa6e9d9675d7a56751c00fa81ad0d081e1b6ffbdb0d7f02056853ba77f04c6 sha256sums = 84b61a83692939ca9e08402f1c55a06e4ccac8941664435d20b0ef0ceed9f43a pkgname = isabelle @@ -1,6 +1,6 @@ # Maintainer: badcasa <sebastian.stueber [at] t-online [dot] de> pkgname=isabelle -pkgver=2021_1 +pkgver=2022 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 } -sha256sums=('315daab84713f9b59e5da0a2c0e9efa6656ef6bc5957b21294088d0727c3ca49' +sha256sums=('e7fa6e9d9675d7a56751c00fa81ad0d081e1b6ffbdb0d7f02056853ba77f04c6' '84b61a83692939ca9e08402f1c55a06e4ccac8941664435d20b0ef0ceed9f43a') |