Publishing details

• Published on 2026-10-28
• Copied from openkylin huanghe in anything3.0 by 李文俊 (sponsored by 李文俊)

Changelog

why3 (1.8.2-ok1) huanghe; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Sat, 09 May 2026 22:01:35 +0800

Builds

• amd64
• loong64

Built packages

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

• why3 Software verification platform

• 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_1.8.2-ok1_amd64.deb (13.0 MiB)
• libwhy3-ocaml-dev_1.8.2-ok1_loong64.deb (6.8 MiB)
• why3-doc-html_1.8.2-ok1_all.deb (890.1 KiB)
• why3-doc-pdf_1.8.2-ok1_all.deb (1.3 MiB)
• why3-examples_1.8.2-ok1_all.deb (4.0 MiB)
• why3_1.8.2-ok1.debian.tar.xz (14.3 KiB)
• why3_1.8.2-ok1.dsc (2.4 KiB)
• why3_1.8.2-ok1_amd64.deb (13.4 MiB)
• why3_1.8.2-ok1_loong64.deb (25.3 MiB)
• why3_1.8.2.orig.tar.bz2 (6.3 MiB)