diff options
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -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 @@ -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() { |