upgpkg: isabelle 2021_1-1

upstream release

2 files changed, 7 insertions, 8 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 4d459b5e7aac..fe2856e85097 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
+	pkgver = 2021_1
 	pkgrel = 1
 	url = https://www.cl.cam.ac.uk/research/hvg/Isabelle/
 	arch = i686
@@ -10,10 +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_linux.tar.gz
+	source = https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2021-1_linux.tar.gz
 	source = isabelle.desktop
-	md5sums = 9b91f6f78a5d3ab701d07f15404746d2
-	md5sums = d33d0dd09e9105f4f043bd5e59458481
+	sha256sums = 315daab84713f9b59e5da0a2c0e9efa6656ef6bc5957b21294088d0727c3ca49
+	sha256sums = 84b61a83692939ca9e08402f1c55a06e4ccac8941664435d20b0ef0ceed9f43a
 
 pkgname = isabelle
-
diff --git a/PKGBUILD b/PKGBUILD
index c6ddedf9cd73..5b7a13f0ac15 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
 # Maintainer: badcasa <sebastian.stueber [at] t-online [dot] de>
 pkgname=isabelle
-pkgver=2021
+pkgver=2021_1
 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=('9b91f6f78a5d3ab701d07f15404746d2'
-         'd33d0dd09e9105f4f043bd5e59458481')
+sha256sums=('315daab84713f9b59e5da0a2c0e9efa6656ef6bc5957b21294088d0727c3ca49'
+            '84b61a83692939ca9e08402f1c55a06e4ccac8941664435d20b0ef0ceed9f43a')