⏰ herdtools7-git: auto updated to 7.57+1.r341.gd499a26d9-1

archlinuxcn · Sep 27, 2024 · 8b23c1a · 8b23c1a
1 parent fcb27a4
commit 8b23c1a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.r339.g360e80907
+pkgver=7.57+1.r341.gd499a26d9
 pkgrel=1
 pkgdesc="The Herd toolsuite to deal with .cat memory models"
 arch=(armv7h aarch64 i686 x86_64)