⏰ herdtools7-git: auto updated to 7.57+1.r705.g772f0bc7b-1

archlinuxcn · Dec 13, 2024 · e7d4293 · e7d4293
1 parent 12b49bb
commit e7d4293
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/alarmcn/herdtools7-git/PKGBUILD b/alarmcn/herdtools7-git/PKGBUILD
@@ -4,8 +4,8 @@ _pkgbase='herdtools7'
 pkgname=('herdtools7-git')
 provides=('herdtools7')
 conflicts=('herdtools7')
-pkgver=7.57+1.r686.gb8c87f45a
-pkgrel=2
+pkgver=7.57+1.r705.g772f0bc7b
+pkgrel=1
 pkgdesc="The Herd toolsuite to deal with .cat memory models"
 arch=(armv7h aarch64 i686 x86_64)
 url='https://github.com/herd/herdtools7'