Publishing details

Created on 2022-05-15 by Ubuntu Archive Auto-Sync
Removal requested on 2023-11-13.
Published on 2022-05-15

Changelog

why3 (1.5.0-1build1) kinetic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 14 May 2022 07:24:40 +0200

Available diffs

diff from 1.5.0-1 (in Debian) to 1.5.0-1build1 (317 bytes)

Builds

Package files

libwhy3-ocaml-dev-dbgsym_1.5.0-1build1_amd64.ddeb (690.2 KiB)
libwhy3-ocaml-dev-dbgsym_1.5.0-1build1_arm64.ddeb (659.3 KiB)
libwhy3-ocaml-dev-dbgsym_1.5.0-1build1_armhf.ddeb (571.3 KiB)
libwhy3-ocaml-dev-dbgsym_1.5.0-1build1_ppc64el.ddeb (550.3 KiB)
libwhy3-ocaml-dev-dbgsym_1.5.0-1build1_riscv64.ddeb (605.0 KiB)
libwhy3-ocaml-dev-dbgsym_1.5.0-1build1_s390x.ddeb (570.8 KiB)
libwhy3-ocaml-dev_1.5.0-1build1_amd64.deb (11.9 MiB)
libwhy3-ocaml-dev_1.5.0-1build1_arm64.deb (12.9 MiB)
libwhy3-ocaml-dev_1.5.0-1build1_armhf.deb (11.9 MiB)
libwhy3-ocaml-dev_1.5.0-1build1_ppc64el.deb (12.4 MiB)
libwhy3-ocaml-dev_1.5.0-1build1_riscv64.deb (13.5 MiB)
libwhy3-ocaml-dev_1.5.0-1build1_s390x.deb (12.0 MiB)
why3-dbgsym_1.5.0-1build1_amd64.ddeb (2.2 MiB)
why3-dbgsym_1.5.0-1build1_arm64.ddeb (2.1 MiB)
why3-dbgsym_1.5.0-1build1_armhf.ddeb (1.7 MiB)
why3-dbgsym_1.5.0-1build1_ppc64el.ddeb (1.6 MiB)
why3-dbgsym_1.5.0-1build1_riscv64.ddeb (1.8 MiB)
why3-dbgsym_1.5.0-1build1_s390x.ddeb (1.7 MiB)
why3-doc-html_1.5.0-1build1_all.deb (680.0 KiB)
why3-doc-pdf_1.5.0-1build1_all.deb (1.2 MiB)
why3-examples_1.5.0-1build1_all.deb (3.7 MiB)
why3_1.5.0-1build1.debian.tar.xz (18.0 KiB)
why3_1.5.0-1build1.dsc (2.6 KiB)
why3_1.5.0-1build1_amd64.deb (11.1 MiB)
why3_1.5.0-1build1_arm64.deb (13.2 MiB)
why3_1.5.0-1build1_armhf.deb (10.9 MiB)
why3_1.5.0-1build1_ppc64el.deb (11.7 MiB)
why3_1.5.0-1build1_riscv64.deb (11.0 MiB)
why3_1.5.0-1build1_s390x.deb (11.5 MiB)
why3_1.5.0.orig.tar.gz (6.4 MiB)