Bug 75882

Summary:	ebuild request: HOL theorem proof assistant
Product:	Gentoo Linux	Reporter:	Radu Grigore <radugrigore>
Component:	Current packages	Assignee:	Default Assignee for New Packages <maintainer-wanted>
Status:	CONFIRMED ---
Severity:	normal	CC:	jstein, sci-mathematics
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
URL:	https://hol-theorem-prover.org
Whiteboard:
Package list:		Runtime testing required:	---

Description Radu Grigore 2004-12-27 23:28:50 UTC

Would it be possible to include HOL in the gentoo distribution? AFAIK(!) it depends only on mosml (which is already included).

Reproducible: Always
Steps to Reproduce:
1.
2.
3.

Comment 1 James Earl Spahlinger 2009-07-15 16:47:59 UTC

Please note that there is now version 5 of this out. I am attempting to write an ebuild but I am having some problems getting the dependencies working correctly. Additionally I think this should be assigned to maintainer wanted. Once I get the ebuild working, I'll submit it.

Comment 2 Andreas K. Hüttel archtester

2010-07-01 18:40:59 UTC

Latest release HOL4 (2009)

Comment 3 Jonas Stein gentoo-dev

2017-05-30 07:07:29 UTC

repository is now on github:
https://github.com/HOL-Theorem-Prover/HOL