1 files changed, 4 insertions, 4 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 542860922242..68c453626f87 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -5,8 +5,8 @@
 # Contributor: Earnest <zibeon@gmail.com>
 
 pkgname=spin
-pkgver=6.4.6
-pkgrel=2
+pkgver=6.4.8
+pkgrel=1
 pkgdesc='Tool for the formal verification of distributed software systems'
 arch=('i686' 'x86_64')
 url='https://spinroot.com/'
@@ -16,8 +16,8 @@ optdepends=('tcl: ispin graphical interface'
             'swarm: improved performance on large verification problems'
             'modex: extract verification models from implementation C code'
             'ispin: GUI for Spin')
-source=(https://github.com/freswa/spin/archive/${pkgver}.tar.gz)
-sha512sums=('5c59d8af7e8f73c855aa1be7059cb7881829ef3d9b0a8775c182d6536bf4250f966cf13efad5ec1926d8b32a34e7b8428022e1c52346015bcb6056774da5818f')
+source=(https://github.com/freswa/spin/archive/v${pkgver}.tar.gz)
+sha512sums=('92855d3b75a1b6f4ae50235215afca1e74a761081e6793c4006052cd38c6a567b3847926122991274b4aac5b53ce76c424bd353ed966416af8890caa0243ba37')
 
 build() {
   cd "${srcdir}/${pkgname}-${pkgver}/Src${pkgver}"