# Generated by mksrcinfo v8
# Fri Mar  1 01:27:39 UTC 2019
pkgbase = hol
	pkgdesc = HOL4 theorem-proving system
	pkgver = kananaskis.12
	pkgrel = 2
	url = https://hol-theorem-prover.org/
	install = hol.install
	arch = x86_64
	license = BSD
	depends = polyml
	depends = graphviz
	conflicts = ocaml-num
	source = http://sourceforge.net/projects/hol/files/hol/kananaskis-12/hol-kananaskis-12.tar.gz
	md5sums = 5b01d43494c7809c029764a95bf06402

pkgname = hol