Publishing details

• Published on 2023-09-08
• Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
• Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux

Changelog

hol-light (20230128-2) unstable; urgency=medium

  * Team upload
  * Add support for camlp5 8.02
  * Bump Standards-Version to 4.6.2

 -- Stéphane Glondu <email address hidden>  Thu, 07 Sep 2023 03:44:32 +0200

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

Built packages

• hol-light HOL Light theorem prover

Package files

• hol-light_20230128-2.debian.tar.xz (32.1 KiB)
• hol-light_20230128-2.dsc (1.8 KiB)
• hol-light_20230128-2_amd64.deb (5.4 MiB)
• hol-light_20230128-2_arm64.deb (5.4 MiB)
• hol-light_20230128-2_armhf.deb (5.4 MiB)
• hol-light_20230128-2_ppc64el.deb (5.4 MiB)
• hol-light_20230128-2_riscv64.deb (5.4 MiB)
• hol-light_20230128-2_s390x.deb (5.4 MiB)
• hol-light_20230128.orig.tar.gz (7.1 MiB)