⏰ herdtools7-git: auto updated to 7.57+1.r748.g2a8f71395-1

archlinuxcn · Jan 9, 2025 · ee01644 · ee01644
1 parent cdbec44
commit ee01644
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.r745.g1b6f401df
+pkgver=7.57+1.r748.g2a8f71395
 pkgrel=1
 pkgdesc="The Herd toolsuite to deal with .cat memory models"
 arch=(armv7h aarch64 i686 x86_64)