Publishing details

• Published on 2015-10-30
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

hol88 (2.02.19940316-31) unstable; urgency=medium

  * build against latest gcl

 -- Camm Maguire <email address hidden>  Wed, 07 Oct 2015 21:39:55 +0000

Builds

• amd64
• arm64
• armhf
• i386
• powerpc
• ppc64el
• s390x

Built packages

• hol88 Higher Order Logic, system image

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

• hol88-contrib-source Higher Order Logic, user contributed source

• hol88-doc Documentation for hol88

• hol88-help Higher Order Logic, online help files

• hol88-library Higher Order Logic, binary library modules

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

• hol88-library-source Higher Order Logic, library source files

• hol88-source Higher Order Logic, source files

Package files

• hol88-contrib-help_2.02.19940316-31_all.deb (23.1 KiB)
• hol88-contrib-source_2.02.19940316-31_all.deb (713.0 KiB)
• hol88-doc_2.02.19940316-31_all.deb (1.0 MiB)
• hol88-help_2.02.19940316-31_all.deb (215.2 KiB)
• hol88-library-help_2.02.19940316-31_all.deb (236.8 KiB)
• hol88-library-source_2.02.19940316-31_all.deb (407.2 KiB)
• hol88-library_2.02.19940316-31_amd64.deb (2.9 MiB)
• hol88-library_2.02.19940316-31_arm64.deb (2.9 MiB)
• hol88-library_2.02.19940316-31_armhf.deb (2.7 MiB)
• hol88-library_2.02.19940316-31_i386.deb (2.7 MiB)
• hol88-library_2.02.19940316-31_powerpc.deb (2.8 MiB)
• hol88-library_2.02.19940316-31_ppc64el.deb (3.0 MiB)
• hol88-library_2.02.19940316-31_s390x.deb (3.0 MiB)
• hol88-source_2.02.19940316-31_all.deb (288.8 KiB)
• hol88_2.02.19940316-31.debian.tar.xz (127.7 KiB)
• hol88_2.02.19940316-31.dsc (2.2 KiB)
• hol88_2.02.19940316-31_amd64.deb (5.9 MiB)
• hol88_2.02.19940316-31_arm64.deb (5.0 MiB)
• hol88_2.02.19940316-31_armhf.deb (4.5 MiB)
• hol88_2.02.19940316-31_i386.deb (4.8 MiB)
• hol88_2.02.19940316-31_powerpc.deb (4.4 MiB)
• hol88_2.02.19940316-31_ppc64el.deb (4.8 MiB)
• hol88_2.02.19940316-31_s390x.deb (5.8 MiB)
• hol88_2.02.19940316.orig.tar.gz (9.8 MiB)