diff options
| author | bitwave | 2023-09-18 13:16:23 +0200 |
|---|---|---|
| committer | bitwave | 2023-09-18 13:16:23 +0200 |
| commit | bd83fcdcdb81575f2999f52b2848f8ffb467ac07 (patch) | |
| tree | 4baecff23c4e1e741c59a226e3c172b303ffb268 /PKGBUILD | |
| parent | 7a2e1e45f9808cd88fa68ac4429c195e0792c62f (diff) | |
| download | aur-isabelle.tar.gz | |
upgpkg: isabelle 2023-1
upstream release
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ # Maintainer: badcasa <sebastian.stueber [at] t-online [dot] de> pkgname=isabelle -pkgver=2022 +pkgver=2023 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=('e7fa6e9d9675d7a56751c00fa81ad0d081e1b6ffbdb0d7f02056853ba77f04c6' +sha256sums=('1a8e190ac0f3e6027bb961b954bacd24e75d30f5f5f06f7d14069da57e7746a8' '84b61a83692939ca9e08402f1c55a06e4ccac8941664435d20b0ef0ceed9f43a') |