summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD11
1 files changed, 6 insertions, 5 deletions
diff --git a/PKGBUILD b/PKGBUILD
index df0dd8eea996..1b80ff80fd9e 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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"