hol kananaskis.12-3

2 files changed, 8 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index a5cc5b158b18..5b2a6dac2b7c 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,16 +1,17 @@
 # Generated by mksrcinfo v8
-# Fri Mar  1 01:27:39 UTC 2019
+# Mon Mar 18 12:38:15 UTC 2019
 pkgbase = hol
 	pkgdesc = HOL4 theorem-proving system
 	pkgver = kananaskis.12
-	pkgrel = 2
+	pkgrel = 3
 	url = https://hol-theorem-prover.org/
 	install = hol.install
 	arch = x86_64
 	license = BSD
 	depends = polyml
 	depends = graphviz
-	conflicts = ocaml-num
+	provides = hol
+	conflicts = hol-git
 	source = http://sourceforge.net/projects/hol/files/hol/kananaskis-12/hol-kananaskis-12.tar.gz
 	md5sums = 5b01d43494c7809c029764a95bf06402
 
diff --git a/PKGBUILD b/PKGBUILD
index ac664d170c0b..c94d88d0922e 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,9 +1,10 @@
 # Maintainer: Mort Yao <soi@mort.ninja>
 # Contributor: Nikolaos Bezirgiannis <bezeria@gmail.com>
 
+# FIXME: holyhammer fails to build with ocaml-num
 pkgname=hol
 pkgver=kananaskis.12
-pkgrel=2
+pkgrel=3
 pkgdesc='HOL4 theorem-proving system'
 url='https://hol-theorem-prover.org/'
 arch=('x86_64')
@@ -14,7 +15,8 @@ source=("http://sourceforge.net/projects/hol/files/hol/${pkgver//./-}/hol-${pkgv
        )
 md5sums=('5b01d43494c7809c029764a95bf06402')
 depends=('polyml' 'graphviz')
-conflicts=('ocaml-num')
+provides=('hol')
+conflicts=('hol-git')
 
 build() {
   cd "${srcdir}/${pkgname}-${pkgver//./-}"