Publishing details

• Published on 2013-11-17
• 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-19) unstable; urgency=low


  * build against latest gcl

 -- Camm Maguire <email address hidden>  Sat, 16 Nov 2013 18:01:29 +0000

Builds

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

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-19_all.deb (23.2 KiB)
• hol88-contrib-source_2.02.19940316-19_all.deb (713.6 KiB)
• hol88-doc_2.02.19940316-19_all.deb (1.0 MiB)
• hol88-help_2.02.19940316-19_all.deb (215.3 KiB)
• hol88-library-help_2.02.19940316-19_all.deb (237.1 KiB)
• hol88-library-source_2.02.19940316-19_all.deb (408.3 KiB)
• hol88-library_2.02.19940316-19_amd64.deb (1.2 MiB)
• hol88-library_2.02.19940316-19_armhf.deb (2.9 MiB)
• hol88-library_2.02.19940316-19_i386.deb (1.1 MiB)
• hol88-library_2.02.19940316-19_powerpc.deb (1.1 MiB)
• hol88-source_2.02.19940316-19_all.deb (288.6 KiB)
• hol88_2.02.19940316-19.debian.tar.gz (166.8 KiB)
• hol88_2.02.19940316-19.dsc (1.5 KiB)
• hol88_2.02.19940316-19_amd64.deb (5.9 MiB)
• hol88_2.02.19940316-19_armhf.deb (4.5 MiB)
• hol88_2.02.19940316-19_i386.deb (4.6 MiB)
• hol88_2.02.19940316-19_powerpc.deb (4.2 MiB)
• hol88_2.02.19940316.orig.tar.gz (9.8 MiB)