diff --git a/alarmcn/herdtools7-git/PKGBUILD b/alarmcn/herdtools7-git/PKGBUILD
index c5c673c9a35..7f49add004c 100644
--- a/alarmcn/herdtools7-git/PKGBUILD
+++ b/alarmcn/herdtools7-git/PKGBUILD
@@ -4,7 +4,7 @@ _pkgbase='herdtools7'
 pkgname=('herdtools7-git')
 provides=('herdtools7')
 conflicts=('herdtools7')
-pkgver=7.57+1.r813.g2a3284060
+pkgver=7.57+1.r824.g527ad019f
 pkgrel=1
 pkgdesc="The Herd toolsuite to deal with .cat memory models"
 arch=(armv7h aarch64 i686 x86_64)