diff options
| author | Douglas Creager | 2017-01-22 15:54:05 -0500 |
|---|---|---|
| committer | Douglas Creager | 2017-01-22 15:54:05 -0500 |
| commit | 6c3cd48ebd81be6d2c8af281f03bc1d54632d496 (patch) | |
| tree | 45148ea2fc98838521d3cf4b78c9ea093e54c175 | |
| parent | 60389342e7927cd83a2b185319a489711fffe0f4 (diff) | |
| download | aur-6c3cd48ebd81be6d2c8af281f03bc1d54632d496.tar.gz | |
Update to fdr-4.2.0
| -rw-r--r-- | .SRCINFO | 14 | ||||
| -rw-r--r-- | PKGBUILD | 16 |
2 files changed, 14 insertions, 16 deletions
@@ -1,17 +1,15 @@ -# Generated by mksrcinfo v8 -# Sat Jun 18 01:12:14 UTC 2016 pkgbase = fdr pkgdesc = Refinement checker for CSP - pkgver = 3.4.0 - pkgrel = 2 + pkgver = 4.2.0 + pkgrel = 1 url = https://www.cs.ox.ac.uk/projects/fdr/ arch = x86_64 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 pkgname = fdr @@ -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 |