diff options
author | Lennart K | 2015-03-12 11:44:32 +0100 |
---|---|---|
committer | Douglas Creager | 2016-06-17 21:09:56 -0400 |
commit | 667e4c22e0aba3c158ef7f9dbc008b58547df5d0 (patch) | |
tree | 1f6604a454794079f5017dbdefc75039852a9a64 /PKGBUILD | |
parent | da4d49c0ccd8f989a1b5df728e16ffd3b9c23a00 (diff) | |
download | aur-667e4c22e0aba3c158ef7f9dbc008b58547df5d0.tar.gz |
Update to fdr 3.2.3
In order to start fdr I also had to install "libtinfo" from the AUR.
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 11 |
1 files changed, 6 insertions, 5 deletions
@@ -1,15 +1,16 @@ # Maintainer: Douglas Creager <dcreager@dcreager.net> pkgname=fdr -pkgver=3.1.0 +pkgver=3.2.3 pkgrel=1 pkgdesc="Refinement checker for CSP" arch=('x86_64') url="https://www.cs.ox.ac.uk/projects/fdr/" license=('custom') -source=("https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr3-3236-linux-x86_64.tar.gz") -md5sums=('1992fe4a357a0a0db3a8aba3f345a1ad') -sha1sums=('fe603696365080e7c8ba77b0e4de5126b2f28878') -sha256sums=('64440b16adf3f93fecdd3872f7cd6ea75febd53db1947b493e0952967bdf7865') +depends=('libtinfo') +source=("https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr3-3377-linux-x86_64.tar.gz") +md5sums=('8c7cfc38380d393b4e4082830f9959f1') +sha1sums=('85236729457e5b4e51594022f51eee6e4db5a327') +sha256sums=('358d1e93c72c67e62a079bd031acf75c4b7bd8ba8a9c673ad90f2b2367d39ba5') package() { mkdir -p "${pkgdir}/opt" |