1 files changed, 5 insertions, 5 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 273b9ce21236..409180ad4188 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Jorai Rijsdijk <aur@jrijsdijk.com>
 
 pkgname=mcrl2
-pkgver=201808.0
+pkgver=201908.0
 pkgrel=1
 pkgdesc="A formal specification language with an associated toolset."
 arch=('i686' 'x86_64')
@@ -10,17 +10,17 @@ makedepends=('cmake' 'gcc')
 url=http://www.mcrl2.org
 license=('custom')
 source=("http://mcrl2.org/download/release/$pkgname-$pkgver.tar.gz")
-sha256sums=('cf5d75f512a92d3f56b5899f4f226f9225404452afba88e838c660c7e14a8018')
-install='mcrl2.install'
+sha256sums=('5f3b48392a1ab283617dd279e5ba45f5b29ca7f30c94c86bf8f1b9d2047d9dc4')
+install=mcrl2.install
 
 build() {
-  cd $srcdir
+  cd $srcdir/$pkgname-$pkgver
   cmake -DCMAKE_INSTALL_RPATH=/usr/lib/mcrl2 .
   make $MAKEFLAGS
 }
 
 package() {
-  cd $srcdir
+  cd $srcdir/$pkgname-$pkgver
   cmake -DCMAKE_INSTALL_PREFIX=${pkgdir}/usr -P cmake_install.cmake
 
   # install license