Publishing details

Removal requested on 2022-07-23.
Published on 2021-04-23
Copied from ubuntu hirsute in Primary Archive for Ubuntu

Changelog

why3 (1.3.3-1build5) hirsute; urgency=medium

  * No-change rebuild for ocaml abi changes.

 -- Matthias Klose <email address hidden>  Mon, 18 Jan 2021 13:08:00 +0100

Available diffs

diff from 1.3.3-1build4 to 1.3.3-1build5 (312 bytes)

Builds

Package files

libwhy3-ocaml-dev-dbgsym_1.3.3-1build5_amd64.ddeb (571.8 KiB)
libwhy3-ocaml-dev-dbgsym_1.3.3-1build5_arm64.ddeb (572.5 KiB)
libwhy3-ocaml-dev-dbgsym_1.3.3-1build5_armhf.ddeb (478.6 KiB)
libwhy3-ocaml-dev-dbgsym_1.3.3-1build5_ppc64el.ddeb (438.6 KiB)
libwhy3-ocaml-dev-dbgsym_1.3.3-1build5_riscv64.ddeb (487.4 KiB)
libwhy3-ocaml-dev-dbgsym_1.3.3-1build5_s390x.ddeb (439.5 KiB)
libwhy3-ocaml-dev_1.3.3-1build5_amd64.deb (9.1 MiB)
libwhy3-ocaml-dev_1.3.3-1build5_arm64.deb (9.7 MiB)
libwhy3-ocaml-dev_1.3.3-1build5_armhf.deb (9.1 MiB)
libwhy3-ocaml-dev_1.3.3-1build5_ppc64el.deb (9.3 MiB)
libwhy3-ocaml-dev_1.3.3-1build5_riscv64.deb (9.8 MiB)
libwhy3-ocaml-dev_1.3.3-1build5_s390x.deb (9.1 MiB)
why3-coq_1.3.3-1build5_amd64.deb (723.1 KiB)
why3-coq_1.3.3-1build5_arm64.deb (723.2 KiB)
why3-coq_1.3.3-1build5_armhf.deb (722.9 KiB)
why3-coq_1.3.3-1build5_ppc64el.deb (723.2 KiB)
why3-coq_1.3.3-1build5_riscv64.deb (723.0 KiB)
why3-dbgsym_1.3.3-1build5_amd64.ddeb (9.5 MiB)
why3-dbgsym_1.3.3-1build5_arm64.ddeb (8.5 MiB)
why3-dbgsym_1.3.3-1build5_armhf.ddeb (6.9 MiB)
why3-dbgsym_1.3.3-1build5_ppc64el.ddeb (6.1 MiB)
why3-dbgsym_1.3.3-1build5_riscv64.ddeb (6.9 MiB)
why3-dbgsym_1.3.3-1build5_s390x.ddeb (6.4 MiB)
why3-doc-html_1.3.3-1build5_all.deb (671.1 KiB)
why3-doc-pdf_1.3.3-1build5_all.deb (1016.8 KiB)
why3-examples_1.3.3-1build5_all.deb (3.3 MiB)
why3_1.3.3-1build5.debian.tar.xz (18.2 KiB)
why3_1.3.3-1build5.dsc (2.8 KiB)
why3_1.3.3-1build5_amd64.deb (37.7 MiB)
why3_1.3.3-1build5_arm64.deb (45.0 MiB)
why3_1.3.3-1build5_armhf.deb (35.1 MiB)
why3_1.3.3-1build5_ppc64el.deb (38.0 MiB)
why3_1.3.3-1build5_riscv64.deb (35.5 MiB)
why3_1.3.3-1build5_s390x.deb (37.5 MiB)
why3_1.3.3.orig.tar.gz (5.5 MiB)