summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD4
2 files changed, 4 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index ad20c53568f0..a90aad2eae18 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = souffle
pkgdesc = Soufflé is a translator of declarative Datalog programs into the C++ language
- pkgver = 2.4
+ pkgver = 2.4.1
pkgrel = 1
url = https://github.com/souffle-lang/souffle
arch = any
@@ -21,7 +21,7 @@ pkgbase = souffle
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
pkgname = souffle
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() {