summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorDenis Kasak2020-09-12 23:59:14 +0200
committerDenis Kasak2020-09-12 23:59:14 +0200
commit4e00aa976375de056c75335fb5e17c9367d859ae (patch)
tree652389c067003ec707c82ca8388b0d0625cdc61e /PKGBUILD
parent9cbb2bfd93a5f5d4751e3aabdeadc77668eec340 (diff)
downloadaur-minisat-git.tar.gz
Fix compilation by switching to maintained fork.
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 3615c70a7a02..af329ef05655 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Denis Kasak <dkasak|AT|termina.org.uk>
pkgname=minisat-git
-pkgver=2.2.0.r68.g37dc6c6
+pkgver=2.2.1.r3.gf7d16b9
pkgrel=1
pkgdesc='A minimalistic and high-performance SAT solver (git version)'
arch=('i686' 'x86_64')
@@ -9,7 +9,7 @@ url="http://minisat.se/"
license=('MIT')
conflicts=('minisat')
makedepends=('git')
-source=($pkgname::git+https://github.com/niklasso/minisat)
+source=($pkgname::git+https://github.com/msoos/minisat)
sha256sums=('SKIP')
pkgver() {