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 /PKGBUILD | |
parent | 07b8084c0531ebc36ac7ddd133d8bfd565e19cf6 (diff) | |
download | aur-dfa7272f37936815a2ab394954af4f9ed416e2b2.tar.gz |
upgpkg: isabelle 2021-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=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') |