.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

pkgbase = hol
	pkgdesc = HOL4 theorem-proving system
	pkgver = trindemossen.1
	pkgrel = 1
	url = https://hol-theorem-prover.org/
	install = hol.install
	arch = x86_64
	license = BSD
	depends = polyml
	depends = graphviz
	provides = hol
	conflicts = hol-git
	source = https://github.com/HOL-Theorem-Prover/HOL/archive/trindemossen-1.tar.gz
	md5sums = ca715375797791c035ebf67fdcd6d093

pkgname = hol