Publishing details

• Published on 2020-04-01
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

why3 (1.2.1-6) unstable; urgency=medium

  * Add build-dependency libnum-ocaml-dev (used to be pulled in by coq)
  * Bump build-dependency on ocaml, as indicated by opam file

 -- Ralf Treinen <email address hidden>  Sun, 08 Mar 2020 20:36:59 +0100

Builds

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

Built packages

• libwhy3-ocaml-dev OCaml librariries for why3 (dev)

• libwhy3-ocaml-dev-dbgsym debug symbols for libwhy3-ocaml-dev

• why3 Software verification platform

• why3-coq Coq support for the why3 verification platform

• why3-dbgsym debug symbols for why3

• why3-doc-html HTML Documentation of the why3 verification platform

• why3-doc-pdf PDF Documentation of the why3 verification platform

• why3-examples Examples for the why3 verification platform

Package files

• libwhy3-ocaml-dev-dbgsym_1.2.1-6_amd64.ddeb (531.2 KiB)
• libwhy3-ocaml-dev-dbgsym_1.2.1-6_arm64.ddeb (597.3 KiB)
• libwhy3-ocaml-dev-dbgsym_1.2.1-6_armhf.ddeb (451.6 KiB)
• libwhy3-ocaml-dev-dbgsym_1.2.1-6_ppc64el.ddeb (405.5 KiB)
• libwhy3-ocaml-dev-dbgsym_1.2.1-6_s390x.ddeb (412.2 KiB)
• libwhy3-ocaml-dev_1.2.1-6_amd64.deb (7.6 MiB)
• libwhy3-ocaml-dev_1.2.1-6_arm64.deb (8.4 MiB)
• libwhy3-ocaml-dev_1.2.1-6_armhf.deb (7.7 MiB)
• libwhy3-ocaml-dev_1.2.1-6_ppc64el.deb (7.9 MiB)
• libwhy3-ocaml-dev_1.2.1-6_riscv64.deb (4.0 MiB)
• libwhy3-ocaml-dev_1.2.1-6_s390x.deb (7.7 MiB)
• why3-coq_1.2.1-6_amd64.deb (568.9 KiB)
• why3-coq_1.2.1-6_arm64.deb (565.0 KiB)
• why3-coq_1.2.1-6_ppc64el.deb (564.9 KiB)
• why3-dbgsym_1.2.1-6_amd64.ddeb (6.3 MiB)
• why3-dbgsym_1.2.1-6_arm64.ddeb (6.5 MiB)
• why3-dbgsym_1.2.1-6_armhf.ddeb (5.3 MiB)
• why3-dbgsym_1.2.1-6_ppc64el.ddeb (4.8 MiB)
• why3-dbgsym_1.2.1-6_riscv64.ddeb (92.9 KiB)
• why3-dbgsym_1.2.1-6_s390x.ddeb (4.9 MiB)
• why3-doc-html_1.2.1-6_all.deb (289.8 KiB)
• why3-doc-pdf_1.2.1-6_all.deb (1.2 MiB)
• why3-examples_1.2.1-6_all.deb (2.3 MiB)
• why3_1.2.1-6.debian.tar.xz (22.6 KiB)
• why3_1.2.1-6.dsc (2.7 KiB)
• why3_1.2.1-6_amd64.deb (29.4 MiB)
• why3_1.2.1-6_arm64.deb (37.6 MiB)
• why3_1.2.1-6_armhf.deb (19.5 MiB)
• why3_1.2.1-6_ppc64el.deb (31.6 MiB)
• why3_1.2.1-6_riscv64.deb (55.4 MiB)
• why3_1.2.1-6_s390x.deb (30.4 MiB)
• why3_1.2.1.orig.tar.gz (5.7 MiB)