key-2.12.0

1 files changed, 5 insertions, 5 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 1f46a2fabd2c..4eb2d71bf931 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,8 +2,8 @@
 # Repo:       https://github.com/Mikescher/key-project-aur
 
 pkgname=key-project
-pkgver=2.10.0
-pkgrel=2
+pkgver=2.12.0
+pkgrel=1
 
 pkgdesc="A program to use formal verification with Java programs"
 
@@ -19,7 +19,7 @@ source=(
   "key-project16.png"
   "key-project32.png"
   "key-project64.png"
-  "https://www.key-project.org/dist/$pkgver/key-$pkgver-exe.jar"
+  "https://github.com/KeYProject/key/releases/download/KeY-$pkgver/key-$pkgver-exe.jar"
 )
 
 noextract=("key-$pkgver-exe.jar")
@@ -30,7 +30,7 @@ sha256sums=(
   'f88c92559367ca052427ef090fa934a39753200a029a29b83092309912df36a8'
   'ac2686c9d152af629f3beb2bcf219b8017df37adb8534ab054184c14b5e40b62'
   'ac2686c9d152af629f3beb2bcf219b8017df37adb8534ab054184c14b5e40b62'
-  'eda4c9550ca5ca759f52c461a811d87dfb44dec9ec4bf3029eda4dd5cc33f145'
+  'eb9a870b88914ea5b7e28a2eb6453a98e5aece45f95d21e76edb8c8094441c59'
 )
 
 package()
@@ -44,7 +44,7 @@ package()
 
   mkdir -p "$pkgdir/usr/share/java/key-project"
 
-  install -D -m644 "$srcdir/key-$pkgver-exe.jar"          "${pkgdir}/usr/share/java/key-project/key-project.jar"
+  install -D -m644 "$srcdir/key-$pkgver-exe.jar"         "${pkgdir}/usr/share/java/key-project/key-project.jar"
   install -D -m755 "$srcdir/key-project"                 "${pkgdir}/usr/bin/key-project"
 
 }