summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
authorNathaniel R. Lewis2017-09-19 10:16:10 -0700
committerNathaniel R. Lewis2017-09-19 10:16:10 -0700
commit4c64b4c118bb4ca736edaba400f09fd72864d4a4 (patch)
tree459726daeaced90c75c2977744c41ef39839f640 /.SRCINFO
parentfbc28f4101ba9e836c24494f78b6189c1d4807fa (diff)
downloadaur-4c64b4c118bb4ca736edaba400f09fd72864d4a4.tar.gz
removed patch that has been upstreamed
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO4
1 files changed, 1 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 94376a070245..d8d880d60954 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = herdtools7-git
pkgdesc = The Herd toolsuite to deal with .cat memory models
- pkgver = r742.f2bb279
+ pkgver = r744.6192a9b
pkgrel = 1
url = https://github.com/herd/herdtools7
arch = i686
@@ -13,9 +13,7 @@ pkgbase = herdtools7-git
provides = herdtools7
conflicts = herdtools7
source = git://github.com/herd/herdtools7
- source = create-installation-paths.patch
sha256sums = SKIP
- sha256sums = a7b8c376201196064835fba0d646bee567fe2932900772045a75b6bdd2a9a2ff
pkgname = herdtools7-git