Format: 1.8
Date: Tue, 06 Jan 2026 08:10:15 +0100
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-2+ocaml1
Distribution: unstable
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-2+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.0
Checksums-Sha1:
 01e789a494fc02a186fd834c271cbcd11c30a084 1826 why3_1.8.2-2+ocaml1.dsc
 e143f14cbe31f0603cfa512ede2d38b2b29a85e6 6644926 why3_1.8.2.orig.tar.bz2
 90ef4e48bb62d811465ae4253c577b5a6ab33678 19636 why3_1.8.2-2+ocaml1.debian.tar.xz
 51a6d2b69b069193a0da3db5ecdedbf386d94f1b 870604 libwhy3-ocaml-dev-dbgsym_1.8.2-2+ocaml1_amd64.deb
 2747773d989cee2040da88ec703b1a010b8c762e 11716588 libwhy3-ocaml-dev_1.8.2-2+ocaml1_amd64.deb
 756b40183f660f887e17022a19c0e8a290d0381b 2645312 why3-dbgsym_1.8.2-2+ocaml1_amd64.deb
 13b5dad893e8089a073c2ca8d40cc12743e5a13a 1295444 why3-doc-html_1.8.2-2+ocaml1_all.deb
 3a5fd4e4cad5ec9e131c566738a9538444157afa 1430820 why3-doc-pdf_1.8.2-2+ocaml1_all.deb
 42b62621f99528875d5cff4fa5d192b4a42825de 4273240 why3-examples_1.8.2-2+ocaml1_all.deb
 215e20c2e624b3bd632969753f6d8a3f3bcd1552 20117 why3_1.8.2-2+ocaml1_amd64.buildinfo
 0b91bc822d44156ffa5a3b3ed40ea900b6eb8684 12786008 why3_1.8.2-2+ocaml1_amd64.deb
Checksums-Sha256:
 dc738da1aba5e8f5467cdef7e1609ebe33e9aa7207b42a6c1aa2259478ec5baa 1826 why3_1.8.2-2+ocaml1.dsc
 1ccb8e6d75632606842987b08b00cbc13d512a3dba9eab06ff420ad3bae1d111 6644926 why3_1.8.2.orig.tar.bz2
 17ba5c30bf7fde9c7e35e59a91e6d8df5a2ae58c856abe51873bfd67a9253d3a 19636 why3_1.8.2-2+ocaml1.debian.tar.xz
 3f9ee9311fb20a88fba47cfb73a2e8dffe770487736094588269b68798a085b4 870604 libwhy3-ocaml-dev-dbgsym_1.8.2-2+ocaml1_amd64.deb
 9f18bfa0105fcdcae607a13b6e029d11c4ba5039da62811eefe65b95782c1604 11716588 libwhy3-ocaml-dev_1.8.2-2+ocaml1_amd64.deb
 8bc6c595739514f7d1815962586ddcfe9ff236054148a46e23cc01075c1d2c9f 2645312 why3-dbgsym_1.8.2-2+ocaml1_amd64.deb
 094509b40ed093c832c1d97e2e0f88082ae94e3ec2fd2ec16e0afed11299b81c 1295444 why3-doc-html_1.8.2-2+ocaml1_all.deb
 ad98ebf18f62b7debc6285ae85fc042119501f85332fa622a95878b0be54efc5 1430820 why3-doc-pdf_1.8.2-2+ocaml1_all.deb
 7667bdd3b42410a91f603ebb7e065266db1ee239e14bbd81d201c87fcfeb6640 4273240 why3-examples_1.8.2-2+ocaml1_all.deb
 aa4e9a34538ff86cefe91a7649afefb82ddba7b58cd58565ba20bb1256cb0d5b 20117 why3_1.8.2-2+ocaml1_amd64.buildinfo
 84248218261b196369f6d149c34b1a1a769c339d545c909f6c82d64261b790f2 12786008 why3_1.8.2-2+ocaml1_amd64.deb
Files:
 745af967aedff8aab716e33a9126399a 1826 math optional why3_1.8.2-2+ocaml1.dsc
 0a89fc6956ad76a4af1a4763c24af107 6644926 math optional why3_1.8.2.orig.tar.bz2
 b81cb96e4fa5c38e24f47924e7733f87 19636 math optional why3_1.8.2-2+ocaml1.debian.tar.xz
 42bfb99a2fde3a5c5c0aa05c510ef50e 870604 debug optional libwhy3-ocaml-dev-dbgsym_1.8.2-2+ocaml1_amd64.deb
 02b37b54eaf0ac035c873891a409d35f 11716588 ocaml optional libwhy3-ocaml-dev_1.8.2-2+ocaml1_amd64.deb
 1b862b9c0b5af9bcc07514c43d99260f 2645312 debug optional why3-dbgsym_1.8.2-2+ocaml1_amd64.deb
 c4b4308470aa5fcd8c64798d27df1596 1295444 math optional why3-doc-html_1.8.2-2+ocaml1_all.deb
 3ff475fdb00204b28983e8ae7f741e5b 1430820 math optional why3-doc-pdf_1.8.2-2+ocaml1_all.deb
 9978fa24205f90c4799b52bf516bf8d5 4273240 math optional why3-examples_1.8.2-2+ocaml1_all.deb
 fe92d9cd9fbcf0d8bff044e0e23bfeb6 20117 math optional why3_1.8.2-2+ocaml1_amd64.buildinfo
 6d76b5671df90cad651f12e8a1a331de 12786008 math optional why3_1.8.2-2+ocaml1_amd64.deb