hol kananaskis.13-1

2 files changed, 11 insertions, 11 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 2f94caae08d6..9d1b171233a4 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by mksrcinfo v8
-# Mon Mar 18 12:48:26 UTC 2019
+# Sat Aug 24 12:50:55 UTC 2019
 pkgbase = hol
 	pkgdesc = HOL4 theorem-proving system
-	pkgver = kananaskis.12
-	pkgrel = 4
+	pkgver = kananaskis.13
+	pkgrel = 1
 	url = https://hol-theorem-prover.org/
 	install = hol.install
 	arch = x86_64
@@ -12,8 +12,8 @@ pkgbase = hol
 	depends = graphviz
 	provides = hol
 	conflicts = hol-git
-	source = http://sourceforge.net/projects/hol/files/hol/kananaskis-12/hol-kananaskis-12.tar.gz
-	md5sums = 5b01d43494c7809c029764a95bf06402
+	source = https://github.com/HOL-Theorem-Prover/HOL/archive/kananaskis-13.tar.gz
+	md5sums = f40da5a4141739831441380646ca09e7
 
 pkgname = hol
 
diff --git a/PKGBUILD b/PKGBUILD
index 64e33178b24c..6e6ec3870c18 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,23 +3,23 @@
 
 # FIXME: holyhammer fails to build with ocaml-num
 pkgname=hol
-pkgver=kananaskis.12
-pkgrel=4
+pkgver=kananaskis.13
+pkgrel=1
 pkgdesc='HOL4 theorem-proving system'
 url='https://hol-theorem-prover.org/'
 arch=('x86_64')
 license=('BSD')
 install="$pkgname.install"
-source=("http://sourceforge.net/projects/hol/files/hol/${pkgver//./-}/hol-${pkgver//./-}.tar.gz"
+source=("https://github.com/HOL-Theorem-Prover/HOL/archive/${pkgver//./-}.tar.gz"
         #
        )
-md5sums=('5b01d43494c7809c029764a95bf06402')
+md5sums=('f40da5a4141739831441380646ca09e7')
 depends=('polyml' 'graphviz')
 provides=('hol')
 conflicts=('hol-git')
 
 build() {
-  cd "${srcdir}/${pkgname}-${pkgver//./-}"
+  cd "${srcdir}/HOL-${pkgver//./-}"
 
   poly < tools/smart-configure.sml
   bin/build
@@ -28,7 +28,7 @@ build() {
 }
 
 package() {
-  _oldtop="${srcdir}/${pkgname}-${pkgver//./-}"
+  _oldtop="${srcdir}/HOL-${pkgver//./-}"
   _newtop="/opt/hol"
 
   cd $_oldtop