update version

2 files changed, 6 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index e779e45c6b91..70f18624d9db 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index 1b87e179d3d5..c2b395563c11 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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() {