Publishing details

• Created on 2024-04-10 by Ubuntu Archive Auto-Sync
• Published on 2024-04-10

Changelog

aac-tactics (8.18.0-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 08 Apr 2024 09:13:19 +0200

Builds

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

Built packages

• libcoq-aac-tactics Coq tactics for reasoning modulo AC (theories)

• libcoq-aac-tactics-dbgsym debug symbols for libcoq-aac-tactics

Package files

• aac-tactics_8.18.0-1build3.debian.tar.xz (3.8 KiB)
• aac-tactics_8.18.0-1build3.dsc (2.1 KiB)
• aac-tactics_8.18.0.orig.tar.gz (73.8 KiB)
• libcoq-aac-tactics-dbgsym_8.18.0-1build3_amd64.ddeb (13.9 KiB)
• libcoq-aac-tactics-dbgsym_8.18.0-1build3_arm64.ddeb (15.7 KiB)
• libcoq-aac-tactics-dbgsym_8.18.0-1build3_armhf.ddeb (16.5 KiB)
• libcoq-aac-tactics-dbgsym_8.18.0-1build3_ppc64el.ddeb (13.9 KiB)
• libcoq-aac-tactics-dbgsym_8.18.0-1build3_riscv64.ddeb (14.0 KiB)
• libcoq-aac-tactics-dbgsym_8.18.0-1build3_s390x.ddeb (12.3 KiB)
• libcoq-aac-tactics_8.18.0-1build3_amd64.deb (411.8 KiB)
• libcoq-aac-tactics_8.18.0-1build3_arm64.deb (428.8 KiB)
• libcoq-aac-tactics_8.18.0-1build3_armhf.deb (411.4 KiB)
• libcoq-aac-tactics_8.18.0-1build3_ppc64el.deb (418.0 KiB)
• libcoq-aac-tactics_8.18.0-1build3_riscv64.deb (417.7 KiB)
• libcoq-aac-tactics_8.18.0-1build3_s390x.deb (417.1 KiB)