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 | 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 |
Available diffs
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.