diff options
author | Eric Schulte | 2019-12-12 12:11:22 -0500 |
---|---|---|
committer | Eric Schulte | 2019-12-12 12:30:36 -0500 |
commit | e252d85b3c5e9463766c737d62e76d5428e801a3 (patch) | |
tree | 8ebf93dbf2e7c0d079f518236eaa6144f2d18e67 | |
parent | 50d325d52abbef97fef62b8c97c5d226dec2c7db (diff) | |
download | aur-e252d85b3c5e9463766c737d62e76d5428e801a3.tar.gz |
Update to Souffle version 1.7.1
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 deletions
@@ -1,6 +1,6 @@ pkgbase = souffle pkgdesc = Soufflé is a translator of declarative Datalog programs into the C++ language - pkgver = 1.6.1 + pkgver = 1.7.1 pkgrel = 1 url = https://github.com/souffle-lang/souffle arch = any @@ -22,8 +22,8 @@ pkgbase = souffle depends = mcpp provides = souffle conflicts = souffle-git - source = https://github.com/souffle-lang/souffle/archive/1.6.1.zip - md5sums = 3135f0bfd20d45e8352132e27a8e00e4 + source = https://github.com/souffle-lang/souffle/archive/1.7.1.zip + md5sums = 30f6420e5ce9aafca32b5c2099a89237 pkgname = souffle @@ -3,7 +3,7 @@ # Based off of the souffle-git pkgfile by # Sam Linnfer <littlelightlittlefire@gmail.com> pkgname=souffle -pkgver=1.6.1 +pkgver=1.7.1 pkgrel=1 pkgdesc="Soufflé is a translator of declarative Datalog programs into the C++ language" arch=('any') @@ -19,7 +19,7 @@ options=() install= noextract=() source=("https://github.com/souffle-lang/souffle/archive/${pkgver}.zip") -md5sums=('3135f0bfd20d45e8352132e27a8e00e4') +md5sums=('30f6420e5ce9aafca32b5c2099a89237') build() { cd "$srcdir/${pkgname}-${pkgver}" |