Ubuntu

hol88-library binary package in Ubuntu Trusty armhf

Trusty (14.04)
armhf
hol88-library

The HOL System is an environment for interactive theorem proving in a
higher-order logic. Its most outstanding feature is its high degree
of programmability through the meta-language ML. The system has a
wide variety of uses from formalizing pure mathematics to
verification of industrial hardware. Academic and industrial sites
world-wide are using HOL.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2013-11-17 18:08:18 UTC	Published	Ubuntu Trusty armhf	release	universe	math	Optional	2.02.19940316-19
Published on 2013-11-17 Copied from ubuntu trusty-proposed armhf in Primary Archive for Ubuntu
		Deleted	Ubuntu Trusty armhf	proposed	universe	math	Optional	2.02.19940316-19
Removal requested on 2013-11-17. Deleted on 2013-11-17 by Ubuntu Archive Robot moved to release Published on 2013-11-17
	2013-11-17 18:08:31 UTC	Superseded	Ubuntu Trusty armhf	release	universe	math	Optional	2.02.19940316-18
Removed from disk on 2013-11-18. Removal requested on 2013-11-18. Superseded on 2013-11-17 by armhf build of hol88 2.02.19940316-19 in ubuntu trusty PROPOSED Published on 2013-10-23 Copied from ubuntu trusty-proposed armhf in Primary Archive for Ubuntu
	2013-11-18 18:10:30 UTC	Deleted	Ubuntu Trusty armhf	proposed	universe	math	Optional	2.02.19940316-18
Removed from disk on 2013-11-18. Removal requested on 2013-10-23. Deleted on 2013-10-23 by Ubuntu Archive Robot moved to release Published on 2013-10-21
	2013-10-23 09:45:13 UTC	Superseded	Ubuntu Trusty armhf	release	universe	math	Optional	2.02.19940316-15
Removed from disk on 2015-05-01. Removal requested on 2013-10-24. Superseded on 2013-10-23 by armhf build of hol88 2.02.19940316-18 in ubuntu trusty PROPOSED Published on 2013-10-18 Copied from ubuntu quantal-release armhf in Primary Archive for Ubuntu

Source package

hol88 package in Ubuntu