diff options
| author | Douglas Creager | 2017-10-25 10:45:53 -0400 |
|---|---|---|
| committer | Douglas Creager | 2017-10-25 10:45:53 -0400 |
| commit | 23f6c1e390695196f70a11a988d4820d25d4de91 (patch) | |
| tree | ccb012439f4b3b6aac330724c0a1457ad1762721 | |
| parent | 6c3cd48ebd81be6d2c8af281f03bc1d54632d496 (diff) | |
| download | aur-23f6c1e390695196f70a11a988d4820d25d4de91.tar.gz | |
Update to fdr-4.2.2
| -rw-r--r-- | .SRCINFO | 10 | ||||
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | PKGBUILD | 14 |
3 files changed, 13 insertions, 12 deletions
@@ -1,15 +1,15 @@ pkgbase = fdr pkgdesc = Refinement checker for CSP - pkgver = 4.2.0 + pkgver = 4.2.2 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/fdr-3754-linux-x86_64.tar.gz - md5sums = c09a05a5d9b54fc65ed12de8b7cdfc11 - sha1sums = 946eb00282fb1513d21d8aa2c8ab17ce3e37a997 - sha256sums = d24492485db9b8b95c62c53a6396094f836ee079cfc743688a397503c3ec9bf8 + source = https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr-3776-linux-x86_64.tar.gz + md5sums = 70c7e156380338e84d472e35a7018c09 + sha1sums = 95818af0c131f1ee252518883629212e58afe541 + sha256sums = af5949d02f36b4fdb8df328dd0c3beb1d333793636ae5d1520dd2e9b794cee76 pkgname = fdr diff --git a/.gitignore b/.gitignore index b20752a93bec..04e9a1838eb9 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ +*.tar *.tar.gz *.tar.xz pkg/ @@ -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" |