2 files changed, 7 insertions, 9 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 57c35bcbb156..f6e35f5613a1 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,7 @@
-# Generated by mksrcinfo v8
-# Mon Feb 10 22:57:41 UTC 2020
 pkgbase = hol
 	pkgdesc = HOL4 theorem-proving system
-	pkgver = kananaskis.13
-	pkgrel = 3
+	pkgver = kananaskis.14
+	pkgrel = 1
 	url = https://hol-theorem-prover.org/
 	install = hol.install
 	arch = x86_64
@@ -12,8 +10,8 @@ pkgbase = hol
 	depends = graphviz
 	provides = hol
 	conflicts = hol-git
-	source = https://github.com/HOL-Theorem-Prover/HOL/archive/kananaskis-13.tar.gz
-	md5sums = f40da5a4141739831441380646ca09e7
+	source = https://github.com/HOL-Theorem-Prover/HOL/archive/kananaskis-14.tar.gz
+	md5sums = f3172af328193b1bb18975e8eb307262
 
 pkgname = hol
 
diff --git a/PKGBUILD b/PKGBUILD
index 632bd5097153..7ef14571607f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,8 +3,8 @@
 
 # FIXME: holyhammer fails to build with ocaml-num
 pkgname=hol
-pkgver=kananaskis.13
-pkgrel=3
+pkgver=kananaskis.14
+pkgrel=1
 pkgdesc='HOL4 theorem-proving system'
 url='https://hol-theorem-prover.org/'
 arch=('x86_64')
@@ -13,7 +13,7 @@ install="$pkgname.install"
 source=("https://github.com/HOL-Theorem-Prover/HOL/archive/${pkgver//./-}.tar.gz"
         #
        )
-md5sums=('f40da5a4141739831441380646ca09e7')
+md5sums=('f3172af328193b1bb18975e8eb307262')
 depends=('polyml' 'graphviz')
 provides=('hol')
 conflicts=('hol-git')