Skip to content

Commit 756b92f

Browse files
committed
⏰ herdtools7-git: auto updated to 7.57+1.r788.gc031cbe9d-1
1 parent 67179a2 commit 756b92f

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

alarmcn/herdtools7-git/PKGBUILD

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ _pkgbase='herdtools7'
44
pkgname=('herdtools7-git')
55
provides=('herdtools7')
66
conflicts=('herdtools7')
7-
pkgver=7.57+1.r776.gf6f410c3e
7+
pkgver=7.57+1.r788.gc031cbe9d
88
pkgrel=1
99
pkgdesc="The Herd toolsuite to deal with .cat memory models"
1010
arch=(armv7h aarch64 i686 x86_64)

0 commit comments

Comments
 (0)