updated website

2 files changed, 5 insertions, 7 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 0ba9fc61fbbe..ee2bcc2aae55 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,10 +1,8 @@
-# Generated by mksrcinfo v8
-# Mon Nov 27 15:38:31 UTC 2017
 pkgbase = prob
 	pkgdesc = ProB Animator and Model Checker
 	pkgver = 1.7.1
-	pkgrel = 2
-	url = http://eclipseclp.org/
+	pkgrel = 3
+	url = https://www3.hhu.de/stups/prob/
 	arch = x86_64
 	license = EPL 1.0
 	depends = tk85
diff --git a/PKGBUILD b/PKGBUILD
index 31fec1f3531d..4edc0fb5f8ab 100755
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,4 +1,4 @@
-#srcdio Maintainer: DenBrahe <denbrahe at hotmail dot com>
+# Maintainer: DenBrahe <denbrahe at hotmail dot com>
 # Contributor(s): Michael Leuschel and others
 # Contributor(s): Formal Mind
 # Contributor(s): Heinrich-Heine-University
@@ -8,10 +8,10 @@ _minor_version='1'
 
 pkgname='prob'
 pkgver=${_major_version}.${_minor_version}
-pkgrel=2
+pkgrel=3
 pkgdesc="ProB Animator and Model Checker"
 arch=('x86_64')
-url="http://eclipseclp.org/"
+url="https://www3.hhu.de/stups/prob/"
 license=('EPL 1.0')
 depends=('tk85'
          'tcl85'