⏰ herdtools7-git: auto updated to 7.57+1.r665.g316fb2a97-1

archlinuxcn · Dec 4, 2024 · 9df8d12 · 9df8d12
1 parent cbfc682
commit 9df8d12
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.r657.gf14f8ef94
+pkgver=7.57+1.r665.g316fb2a97
 pkgrel=1
 pkgdesc="The Herd toolsuite to deal with .cat memory models"
 arch=(armv7h aarch64 i686 x86_64)