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 | |
parent | 667e4c22e0aba3c158ef7f9dbc008b58547df5d0 (diff) | |
download | aur-da8df2697185dd20039336d5a1b5a9ee42dced91.tar.gz |
Update to fdr-3.4.0
-rw-r--r-- | .SRCINFO | 12 | ||||
-rw-r--r-- | PKGBUILD | 10 |
2 files changed, 11 insertions, 11 deletions
@@ -1,17 +1,17 @@ # Generated by mksrcinfo v8 -# Sat Jun 18 01:09:53 UTC 2016 +# Sat Jun 18 01:10:13 UTC 2016 pkgbase = fdr pkgdesc = Refinement checker for CSP - pkgver = 3.2.3 + pkgver = 3.4.0 pkgrel = 1 url = https://www.cs.ox.ac.uk/projects/fdr/ arch = x86_64 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 pkgname = fdr @@ -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" |