⏰ herdtools7-git: auto updated to 7.57+1.r686.gb8c87f45a-2

archlinuxcn · Dec 12, 2024 · d5effb9 · d5effb9
1 parent 6c8cbd3
commit d5effb9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/alarmcn/herdtools7-git/PKGBUILD b/alarmcn/herdtools7-git/PKGBUILD
@@ -5,7 +5,7 @@ pkgname=('herdtools7-git')
 provides=('herdtools7')
 conflicts=('herdtools7')
 pkgver=7.57+1.r686.gb8c87f45a
-pkgrel=1
+pkgrel=2
 pkgdesc="The Herd toolsuite to deal with .cat memory models"
 arch=(armv7h aarch64 i686 x86_64)
 url='https://github.com/herd/herdtools7'