Ubuntu
hol88 package

hol88 2.02.19940316-35.1 source package in Ubuntu

Changelog

hol88 (2.02.19940316-35.1) unstable; urgency=medium

  * Non maintainer upload by the Reproducible Builds team.
  * No source change upload to rebuild on buildd with .buildinfo files.

 -- Holger Levsen <email address hidden>  Tue, 05 Jan 2021 12:37:31 +0100

Upload details

Uploaded by:
Camm Maguire
Uploaded to:
Sid
Original maintainer:
Camm Maguire
Architectures:
any all
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Jammy release universe math

Downloads

File Size SHA-256 Checksum
hol88_2.02.19940316-35.1.dsc 2.2 KiB 5379c8f22194eeef77504fd2744dec44b3dd1b349a06dee4c3b2de9f873290ab
hol88_2.02.19940316.orig.tar.gz 9.8 MiB cc075a2924c4207a0c8e67599eff710277412934a783656fa8de69f20a185996
hol88_2.02.19940316-35.1.debian.tar.xz 128.3 KiB 8f609a7594f8ca5079a38b68cf24d2598393afb8d97b117950e091f6d4b64d09

No changes file available.

Binary packages built by this source

hol88: No summary available for hol88 in ubuntu impish.

No description available for hol88 in ubuntu impish.

hol88-contrib-help: Higher Order Logic, user contributed online help files

 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.

hol88-contrib-source: No summary available for hol88-contrib-source in ubuntu kinetic.

No description available for hol88-contrib-source in ubuntu kinetic.

hol88-doc: No summary available for hol88-doc in ubuntu impish.

No description available for hol88-doc in ubuntu impish.

hol88-help: No summary available for hol88-help in ubuntu impish.

No description available for hol88-help in ubuntu impish.

hol88-library: Higher Order Logic, binary library modules

 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.

hol88-library-help: Higher Order Logic, library online help files

 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.

hol88-library-source: No summary available for hol88-library-source in ubuntu hirsute.

No description available for hol88-library-source in ubuntu hirsute.

hol88-source: No summary available for hol88-source in ubuntu kinetic.

No description available for hol88-source in ubuntu kinetic.