Ubuntu
hol88 package

hol88 2.02.19940316-34 source package in Ubuntu

Changelog

hol88 (2.02.19940316-34) unstable; urgency=high

  * build-dep latest gcl
  * Bug fix: "FTBFS: Error: ERROR "The default dispatch macro
    signalled an error."", thanks to Lucas Nussbaum (Closes:
    #871364).

 -- Camm Maguire <email address hidden>  Thu, 24 Aug 2017 10:59:05 +0000

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
hol88_2.02.19940316-34.dsc 2.2 KiB eb6a453535d2c8d4347032960b1bb158e8d50b0814394c80e1266acd60118982
hol88_2.02.19940316.orig.tar.gz 9.8 MiB cc075a2924c4207a0c8e67599eff710277412934a783656fa8de69f20a185996
hol88_2.02.19940316-34.debian.tar.xz 128.2 KiB 1bbdfb8b6e7a0ff63b43092cf3ebbfec90d0e8a722c5bee65dc6d78bf3b4540e

No changes file available.

Binary packages built by this source

hol88: No summary available for hol88 in ubuntu artful.

No description available for hol88 in ubuntu artful.

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: Higher Order Logic, user contributed source

 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-doc: Documentation for hol88

 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-help: No summary available for hol88-help in ubuntu artful.

No description available for hol88-help in ubuntu artful.

hol88-library: No summary available for hol88-library in ubuntu artful.

No description available for hol88-library in ubuntu artful.

hol88-library-help: No summary available for hol88-library-help in ubuntu artful.

No description available for hol88-library-help in ubuntu artful.

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

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

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

No description available for hol88-source in ubuntu artful.