diff options
author | Denis Kasak | 2020-09-12 23:59:14 +0200 |
---|---|---|
committer | Denis Kasak | 2020-09-12 23:59:14 +0200 |
commit | 4e00aa976375de056c75335fb5e17c9367d859ae (patch) | |
tree | 652389c067003ec707c82ca8388b0d0625cdc61e /PKGBUILD | |
parent | 9cbb2bfd93a5f5d4751e3aabdeadc77668eec340 (diff) | |
download | aur-minisat-git.tar.gz |
Fix compilation by switching to maintained fork.
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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() { |