diff options
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 6 insertions, 6 deletions
@@ -1,15 +1,15 @@ pkgbase = openjml-bin pkgdesc = Java Software Verification Tool - pkgver = 0.8.40 + pkgver = 0.8.44 pkgrel = 2 url = https://www.openjml.org/ arch = any license = unknown depends = java-runtime optdepends = z3 - source = http://jmlspecs.sourceforge.net/openjml.zip + source = https://github.com/OpenJML/OpenJML/releases/download/0.8.44/openjml-0.8.44-20200413.zip source = openjml.sh - sha256sums = e2f23ef1ba8a7661b7e248953c58a342adcf3e2554e04ed22351d6b02ad79f36 + sha256sums = a0ca1867f4b8511fbbbff56968505d9c1120b59efbed6c9ef0eb9077fb763c7d sha256sums = ab8579e7d6b0b04542e1fd45c267eca55c9d26dfe2a43b0d8ece0e74eb819aca pkgname = openjml-bin @@ -1,7 +1,7 @@ # Maintainer: csicar pkgname=openjml-bin -pkgver=0.8.40 +pkgver=0.8.44 pkgrel=2 pkgdesc="Java Software Verification Tool" arch=(any) @@ -9,9 +9,9 @@ url="https://www.openjml.org/" license=('unknown') depends=("java-runtime") optdepends=("z3") -source=("http://jmlspecs.sourceforge.net/openjml.zip" +source=("https://github.com/OpenJML/OpenJML/releases/download/0.8.44/openjml-0.8.44-20200413.zip" "openjml.sh") -sha256sums=('e2f23ef1ba8a7661b7e248953c58a342adcf3e2554e04ed22351d6b02ad79f36' +sha256sums=('a0ca1867f4b8511fbbbff56968505d9c1120b59efbed6c9ef0eb9077fb763c7d' 'ab8579e7d6b0b04542e1fd45c267eca55c9d26dfe2a43b0d8ece0e74eb819aca') package() { |