diff options
author | Douglas Creager | 2016-06-17 21:08:59 -0400 |
---|---|---|
committer | Douglas Creager | 2016-06-17 21:10:17 -0400 |
commit | da8df2697185dd20039336d5a1b5a9ee42dced91 (patch) | |
tree | 75c04afd1d42cc3d04c016d3b6525d9228ee3895 /PKGBUILD | |
parent | 667e4c22e0aba3c158ef7f9dbc008b58547df5d0 (diff) | |
download | aur-da8df2697185dd20039336d5a1b5a9ee42dced91.tar.gz |
Update to fdr-3.4.0
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -1,16 +1,16 @@ # Maintainer: Douglas Creager <dcreager@dcreager.net> pkgname=fdr -pkgver=3.2.3 +pkgver=3.4.0 pkgrel=1 pkgdesc="Refinement checker for CSP" arch=('x86_64') url="https://www.cs.ox.ac.uk/projects/fdr/" license=('custom') depends=('libtinfo') -source=("https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr3-3377-linux-x86_64.tar.gz") -md5sums=('8c7cfc38380d393b4e4082830f9959f1') -sha1sums=('85236729457e5b4e51594022f51eee6e4db5a327') -sha256sums=('358d1e93c72c67e62a079bd031acf75c4b7bd8ba8a9c673ad90f2b2367d39ba5') +source=("https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr3-3702-linux-x86_64.tar.gz") +md5sums=('6dc3f8ee5fad19ae595c0d0dc9097026') +sha1sums=('abb58025b91d04d7425b9a9d05244116c255df29') +sha256sums=('767a61592208273a9209f44424f4d1a89ed560dcb027bca6d457baf469bffaf7') package() { mkdir -p "${pkgdir}/opt" |