Update to fdr-4.2.0

1 files changed, 8 insertions, 8 deletions

diff --git a/PKGBUILD b/PKGBUILD
index e04b7b267f1d..799b81934aab 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,23 +1,23 @@
 # Maintainer: Douglas Creager <dcreager@dcreager.net>
 pkgname=fdr
-pkgver=3.4.0
-pkgrel=2
+pkgver=4.2.0
+pkgrel=1
 pkgdesc="Refinement checker for CSP"
 arch=('x86_64')
 url="https://www.cs.ox.ac.uk/projects/fdr/"
 license=('custom')
 depends=('libtinfo5')
-source=("https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr3-3702-linux-x86_64.tar.gz")
-md5sums=('6dc3f8ee5fad19ae595c0d0dc9097026')
-sha1sums=('abb58025b91d04d7425b9a9d05244116c255df29')
-sha256sums=('767a61592208273a9209f44424f4d1a89ed560dcb027bca6d457baf469bffaf7')
+source=("https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr-3754-linux-x86_64.tar.gz")
+md5sums=('c09a05a5d9b54fc65ed12de8b7cdfc11')
+sha1sums=('946eb00282fb1513d21d8aa2c8ab17ce3e37a997')
+sha256sums=('d24492485db9b8b95c62c53a6396094f836ee079cfc743688a397503c3ec9bf8')
 
 package() {
   mkdir -p "${pkgdir}/opt"
-  cp -R "${srcdir}/fdr3" "${pkgdir}/opt/fdr"
+  cp -R "${srcdir}/fdr" "${pkgdir}/opt/fdr"
 
   mkdir -p "${pkgdir}/usr/bin"
-  for c in cspmchecker cspmcheckeri fdr3 refines; do
+  for c in cspmchecker cspmcheckeri fdr4 refines; do
       ln -s "../../opt/fdr/bin/$c" "${pkgdir}/usr/bin"
   done