Update to fdr-4.2.2

1 files changed, 7 insertions, 7 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 799b81934aab..c5708d0b2594 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,16 +1,16 @@
 # Maintainer: Douglas Creager <dcreager@dcreager.net>
 pkgname=fdr
-pkgver=4.2.0
-pkgrel=1
+pkgver=4.2.2
+pkgrel=2
 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/fdr-3754-linux-x86_64.tar.gz")
-md5sums=('c09a05a5d9b54fc65ed12de8b7cdfc11')
-sha1sums=('946eb00282fb1513d21d8aa2c8ab17ce3e37a997')
-sha256sums=('d24492485db9b8b95c62c53a6396094f836ee079cfc743688a397503c3ec9bf8')
+depends=('libtinfo5' 'openssl-1.0')
+source=("https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr-3776-linux-x86_64.tar.gz")
+md5sums=('70c7e156380338e84d472e35a7018c09')
+sha1sums=('95818af0c131f1ee252518883629212e58afe541')
+sha256sums=('af5949d02f36b4fdb8df328dd0c3beb1d333793636ae5d1520dd2e9b794cee76')
 
 package() {
   mkdir -p "${pkgdir}/opt"