summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorXiaowen Hu2023-11-15 16:21:13 +0000
committerXiaowen Hu2023-11-15 16:21:13 +0000
commitd87db6279ae677815f6ccb445147615e5446c2b5 (patch)
tree7d5b81dc0cfc6d26310d218a3fb76ec614a97cbe /PKGBUILD
parent882a67e3a99a2e4194895bcf7fe37bd01c394cfc (diff)
downloadaur-souffle.tar.gz
release version 2.4.1
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index ee28685ced05..7f549a0d4507 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -9,7 +9,7 @@
#
pkgname=souffle
-pkgver=2.4
+pkgver=2.4.1
pkgrel=1
pkgdesc="Soufflé is a translator of declarative Datalog programs into the C++ language"
arch=('any')
@@ -21,7 +21,7 @@ makedepends=('git' 'cmake>=3.15' 'bison>=3.0.4' 'flex' 'libffi' 'ncurses' 'zlib'
optdepends=('bash-completion')
provides=('souffle')
conflicts=('souffle-git')
-source=(souffle-2.4.tar.gz::https://github.com/souffle-lang/souffle/archive/2.4.tar.gz)
+source=(souffle-2.4.1.tar.gz::https://github.com/souffle-lang/souffle/archive/2.4.1.tar.gz)
md5sums=('SKIP')
build() {