diff --git a/PKGBUILD b/PKGBUILD
index 1770702..bc22a8d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,37 +1,32 @@
 # Maintainer: badcasa <sebastian.stueber [at] t-online [dot] de>
 pkgname=isabelle
-pkgver=2024
+pkgver=2025
 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')
+arch=('x86_64')
 url="https://www.cl.cam.ac.uk/research/hvg/Isabelle/"
 license=('custom:BSD')
 groups=('science')
 depends=('perl' 'perl-libwww')
-if test "$CARCH" == x86_64; then
-	optdepends+=('lib32-glibc: for improved performance of Poly/ML on x86_64 machines'
-               'lib32-gcc-libs: for improved performance of Poly/ML on x86_64 machines')
-fi
-optdepends=('texlive-core: document preparation')
-source=(https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle${pkgver//_/-}_linux.tar.gz
-         isabelle.desktop)
-            
-# required Packages are automatically build on the first run
-#         
-# build() {
-#	cd "$srcdir/Isabelle${pkgver//_/-}"
-#	./bin/isabelle build Pure
-#	./bin/isabelle build HOL
-# }
+optdepends=(
+  'texlive-core: document preparation'
+  'lib32-glibc: for improved performance of Poly/ML on x86_64 machines'
+  'lib32-gcc-libs: for improved performance of Poly/ML on x86_64 machines'
+)
+source=(
+  https://isabelle.in.tum.de/dist/Isabelle${pkgver//_/-}_linux.tar.gz
+  isabelle.desktop
+)
+sha256sums=(
+  '3d1d66de371823fe31aa8ae66638f73575bac244f00b31aee1dcb62f38147c56'
+  '84b61a83692939ca9e08402f1c55a06e4ccac8941664435d20b0ef0ceed9f43a'
+)
 
 package() {
   install -Dm644 "$pkgname.desktop" "$pkgdir/usr/share/applications/$pkgname.desktop"
-  
-	cd "$srcdir/Isabelle${pkgver//_/-}"
-	mkdir -p $pkgdir/opt/isabelle
-	cp -r * $pkgdir/opt/isabelle/
-	$pkgdir/opt/isabelle/bin/isabelle install -d /opt/isabelle $pkgdir/usr/bin
-}
 
-sha256sums=('603aaaf8abea36597af3b0651d2c162a86c0a0dd4420766f47e5724039639267'
-            '84b61a83692939ca9e08402f1c55a06e4ccac8941664435d20b0ef0ceed9f43a')
+  cd "$srcdir/Isabelle${pkgver//_/-}"
+  mkdir -p $pkgdir/opt/isabelle
+  cp -r * $pkgdir/opt/isabelle/
+  $pkgdir/opt/isabelle/bin/isabelle install -d /opt/isabelle $pkgdir/usr/bin
+}