Format: 1.8
Date: Thu, 02 Jul 2026 13:39:25 +0200
Source: why3
Binary: libwhy3-ocaml-dev libwhy3-ocaml-dev-dbgsym why3 why3-dbgsym why3-doc-html why3-doc-pdf why3-examples
Architecture: source amd64 all
Version: 1.8.2-3+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 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
Changes:
 why3 (1.8.2-3+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.0
Checksums-Sha1:
 211d8e7993aff1898892415cf906403e1faf51ec 1822 why3_1.8.2-3+ocaml1.dsc
 e143f14cbe31f0603cfa512ede2d38b2b29a85e6 6644926 why3_1.8.2.orig.tar.bz2
 4ff539000b235d6d592ac926bc0dad4840b64a67 19656 why3_1.8.2-3+ocaml1.debian.tar.xz
 f4b4fb4a2ff62fae58431d5316f8bfeeba00337c 873556 libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 387a01b1dbb6a37c2080d5766ce1cd34c68f7036 12147568 libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 51fb9092c6952607c8ba0055a2f725d7beb392cc 2661156 why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 43c963ead13d927cac1009d9d058700bdbc93367 1275320 why3-doc-html_1.8.2-3+ocaml1_all.deb
 b8590a2a16b943d0f5d43e85cb949137751376c0 1392232 why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 2cfadc9026d938f4f5ccec4ce5fb94626fc55d36 4270808 why3-examples_1.8.2-3+ocaml1_all.deb
 486a7740198fa314ec26ecd0d4fba3749c1cf991 20977 why3_1.8.2-3+ocaml1_amd64.buildinfo
 b585d59ccdb6c3cfe97aef48d27772b540afdb6c 13217844 why3_1.8.2-3+ocaml1_amd64.deb
Checksums-Sha256:
 324f0db0baa530401e060dcdb0d0d0a529243e9491d83768ef82f7bd6e3b986e 1822 why3_1.8.2-3+ocaml1.dsc
 1ccb8e6d75632606842987b08b00cbc13d512a3dba9eab06ff420ad3bae1d111 6644926 why3_1.8.2.orig.tar.bz2
 fbc634c5380b9f46346c53ab51094eac37f7bcfcb24ab8cbc51936587964d8fa 19656 why3_1.8.2-3+ocaml1.debian.tar.xz
 81dea57426c43a5b4d925a1acbcb94866191b02ab725b83f0d51c86bb1ebb3e6 873556 libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 07f0b0513d52a9e50d2ad1483cbc866976d6a45d820fddeb8f9488e207a379ab 12147568 libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 89ee980959e72b42258d0019f0c0e24722e7febf53c88121f72b309bf4ca781b 2661156 why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 c9e44fa396bb47e151646fac17b86b4db648d915b450509b6af00f1035398c54 1275320 why3-doc-html_1.8.2-3+ocaml1_all.deb
 8996b5d0e7645450542e6b48bb5660f6d936913110c0baeda045039ecf358db6 1392232 why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 591a7e06d3fe01fb9244857c58bce7dbed674620d6090bfa0699c95e30caa9e7 4270808 why3-examples_1.8.2-3+ocaml1_all.deb
 aef90048ad9d0b761da2e1d50a69d2f02528be7efdc32a6d4bb51b7e66ed828b 20977 why3_1.8.2-3+ocaml1_amd64.buildinfo
 5e724f207f59901e1cd913f02a60f488dd50a0d2452f086f5ef3ba8238ed6f68 13217844 why3_1.8.2-3+ocaml1_amd64.deb
Files:
 c887f0f1bfb326681ea0af1c343046c5 1822 math optional why3_1.8.2-3+ocaml1.dsc
 0a89fc6956ad76a4af1a4763c24af107 6644926 math optional why3_1.8.2.orig.tar.bz2
 d9790fe1bdf364a7125b71202ca48a30 19656 math optional why3_1.8.2-3+ocaml1.debian.tar.xz
 8df7aa3d2aab8e41ef1cf006193edfac 873556 debug optional libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 608733b3fbaf8a6c80f03f9987bc6426 12147568 ocaml optional libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 6a97b097adb96f365a1dde756096b345 2661156 debug optional why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 3b7f42d6ea23cdf88e0c27e4eb59dfad 1275320 math optional why3-doc-html_1.8.2-3+ocaml1_all.deb
 6afe1d7df77cbb75afa2f3762c5873e5 1392232 math optional why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 92d981205e2b4f8666fed1b9c520acea 4270808 math optional why3-examples_1.8.2-3+ocaml1_all.deb
 10ca7aea1b9103c161cdaa2f5f244282 20977 math optional why3_1.8.2-3+ocaml1_amd64.buildinfo
 bb7eda02b32e84c9e954b7fa169b7411 13217844 math optional why3_1.8.2-3+ocaml1_amd64.deb