summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorSauyon Lee2022-04-28 11:37:52 +0000
committerSauyon Lee2022-04-28 11:37:52 +0000
commit49f6f65431db919cf30e60c968011ffc26d9b02f (patch)
tree4c36f5dea4dec7d516d339e83d76341542fb609f /PKGBUILD
parent7f6a12bd4266e311cc60845fecdda4c92e52adb1 (diff)
downloadaur-49f6f65431db919cf30e60c968011ffc26d9b02f.tar.gz
fdr: update to 4.2.7
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD8
1 files changed, 4 insertions, 4 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 87c33ac77c04..5e34991538ef 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,15 +1,15 @@
# Maintainer: Sauyon Lee <arch@sauyon.com>
# Contributor: Douglas Creager <dcreager@dcreager.net>
pkgname=fdr
-pkgver=4.2.4
+pkgver=4.2.7
pkgrel=1
pkgdesc="Refinement checker for CSP"
arch=('x86_64')
url="https://www.cs.ox.ac.uk/projects/fdr/"
license=('custom')
-depends=('libtinfo5' 'openssl-1.0' 'gcc-libs' 'qt5-base' 'qt5-3d' 'qt5-x11extras' 'libxcb' 'mesa' 'libffi' 'libgl' 'libdrm')
-source=('https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr-3800-linux-x86_64.tar.gz')
-sha256sums=('d51a5a31062152e4af4020eb6193c2697dc05fdcf069047c4ca2a5ac3d4caa3d')
+depends=('libtinfo5' 'openssl-1.0' 'gcc-libs' 'qt5-base' 'qt5-3d' 'qt5-x11extras' 'libxcb' 'mesa' 'libffi6' 'libgl' 'libdrm')
+source=('https://dl.cocotec.io/fdr/fdr-3814-linux-x86_64.tar.gz')
+sha256sums=('1032b31f2974132e91cb1458341028894d40fb6bb8a10a9d4d986af25ff85231')
package() {
install -d "${pkgdir}/opt/fdr"