diff options
author | Douglas Creager | 2016-06-17 21:20:19 -0400 |
---|---|---|
committer | Douglas Creager | 2016-06-17 21:20:19 -0400 |
commit | 60389342e7927cd83a2b185319a489711fffe0f4 (patch) | |
tree | f8003b2e8231dc04a907af387b6e12df436690dd /PKGBUILD | |
parent | da8df2697185dd20039336d5a1b5a9ee42dced91 (diff) | |
download | aur-60389342e7927cd83a2b185319a489711fffe0f4.tar.gz |
Fix libtinfo dependency
We need .so.5, which is in a different AUR package.
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,12 +1,12 @@ # Maintainer: Douglas Creager <dcreager@dcreager.net> pkgname=fdr pkgver=3.4.0 -pkgrel=1 +pkgrel=2 pkgdesc="Refinement checker for CSP" arch=('x86_64') url="https://www.cs.ox.ac.uk/projects/fdr/" license=('custom') -depends=('libtinfo') +depends=('libtinfo5') source=("https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr3-3702-linux-x86_64.tar.gz") md5sums=('6dc3f8ee5fad19ae595c0d0dc9097026') sha1sums=('abb58025b91d04d7425b9a9d05244116c255df29') |