Publishing details

• Published on 2024-03-26

Changelog

hol88 (2.02.19940316dfsg-ok1) nile; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Tue, 26 Mar 2024 18:21:36 +0800

Builds

• amd64
• arm64
• i386
• loong64
• riscv64
• rv64g

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.19940316dfsg-ok1_all.deb (22.6 KiB)
• hol88-contrib-source_2.02.19940316dfsg-ok1_all.deb (708.3 KiB)
• hol88-doc_2.02.19940316dfsg-ok1_all.deb (1.0 MiB)
• hol88-help_2.02.19940316dfsg-ok1_all.deb (204.0 KiB)
• hol88-library-help_2.02.19940316dfsg-ok1_all.deb (222.1 KiB)
• hol88-library-source_2.02.19940316dfsg-ok1_all.deb (406.9 KiB)
• hol88-library_2.02.19940316dfsg-ok1_amd64.deb (3.8 MiB)
• hol88-library_2.02.19940316dfsg-ok1_arm64.deb (3.7 MiB)
• hol88-library_2.02.19940316dfsg-ok1_riscv64.deb (8.8 MiB)
• hol88-source_2.02.19940316dfsg-ok1_all.deb (286.8 KiB)
• hol88_2.02.19940316dfsg-ok1.debian.tar.xz (127.0 KiB)
• hol88_2.02.19940316dfsg-ok1.dsc (2.1 KiB)
• hol88_2.02.19940316dfsg-ok1_amd64.deb (6.4 MiB)
• hol88_2.02.19940316dfsg-ok1_arm64.deb (5.7 MiB)
• hol88_2.02.19940316dfsg-ok1_riscv64.deb (5.5 MiB)
• hol88_2.02.19940316dfsg.orig.tar.gz (9.9 MiB)