Format: 1.8
Date: Fri, 23 Oct 2026 19:16:55 +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.2
Checksums-Sha1:
 6b7ccaea847a0bbcfb0cd212faee93e27e1db735 1822 why3_1.8.2-3+ocaml1.dsc
 e143f14cbe31f0603cfa512ede2d38b2b29a85e6 6644926 why3_1.8.2.orig.tar.bz2
 79f68d96f72623cd096ebc72d530d01f7034dc5b 19636 why3_1.8.2-3+ocaml1.debian.tar.xz
 74dd123a99ebadb294a3aea02ef681e5bd84b01c 871256 libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 4b6105bfd99e9c8e9541aff77b993dc43b16dbfd 12146652 libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 e5e7b210922f07cf642acd27182780285ef66b46 2665272 why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 b1039c5ddad994aa80492b0454955c1559409101 1275372 why3-doc-html_1.8.2-3+ocaml1_all.deb
 91448ebfb33f0d9c0ce70f2d82a670285d7e7bff 1392260 why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 8b468e51bf7299d72482eeaee294ee60a8a27d4d 4270628 why3-examples_1.8.2-3+ocaml1_all.deb
 897595f4429da078a4f6da2c1111e1a5fd6c11db 20622 why3_1.8.2-3+ocaml1_amd64.buildinfo
 c53b356d6e3e61ccd573eec9bd61f7f9e71d06d6 13241788 why3_1.8.2-3+ocaml1_amd64.deb
Checksums-Sha256:
 eb67ed44611484da2651176bf684d016bc0b3add3fd68712f4428f529dbce727 1822 why3_1.8.2-3+ocaml1.dsc
 1ccb8e6d75632606842987b08b00cbc13d512a3dba9eab06ff420ad3bae1d111 6644926 why3_1.8.2.orig.tar.bz2
 fa092354e8473238a00462c8273c5b2d5080e234e085ff2d8fd1c6e04a68adea 19636 why3_1.8.2-3+ocaml1.debian.tar.xz
 56da2d7a31515c2fb1d3e92413c3cc8be72bbb6ed1211a5ca4eb344c7fd76d42 871256 libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 441815aea0002c3da22008911e13fbccd79d26439965e587ff00a562f70f5c1c 12146652 libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 d33d9312502e5ac414fcc51446c94cf796ef36a82f457452b9eb406fd862e216 2665272 why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 c852c41a9eb62573732af363d9da3e1af4da7b00852d42141411cfdc982e3b23 1275372 why3-doc-html_1.8.2-3+ocaml1_all.deb
 a1d5fcbef90a6517d7db49e5c5d573be5da90cdd3b42a657dde75c954c028bc5 1392260 why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 6f684f7279005726345df8c0580bc5e6a842db5338e76d209c9162c061e5af87 4270628 why3-examples_1.8.2-3+ocaml1_all.deb
 c36d1a9d1f0fca68cbed96ed29649e1900254d28ebe64308f0bc61f6404797b2 20622 why3_1.8.2-3+ocaml1_amd64.buildinfo
 ab80b957c7a2638e820aee73117269e05ff0624aa4cbe5dc4c146c2fddfeb429 13241788 why3_1.8.2-3+ocaml1_amd64.deb
Files:
 55fefe887c651a02e96345b8b6b1cfd4 1822 math optional why3_1.8.2-3+ocaml1.dsc
 0a89fc6956ad76a4af1a4763c24af107 6644926 math optional why3_1.8.2.orig.tar.bz2
 d383b39312db02f5ff5c1dbf805d6743 19636 math optional why3_1.8.2-3+ocaml1.debian.tar.xz
 570a7d178e6cf79afcf3a1c6d7d6bca9 871256 debug optional libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 d3eace0df60b8b021851fccf171b47fa 12146652 ocaml optional libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 a8c6f0feba5b7962de189738f55851c0 2665272 debug optional why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 3b34963e89b7e91d9ac446c41aeaf389 1275372 math optional why3-doc-html_1.8.2-3+ocaml1_all.deb
 688b5a4ca2bd2d88a9f390d3739bafbe 1392260 math optional why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 ed028a6fec7419729d2cc66318b576eb 4270628 math optional why3-examples_1.8.2-3+ocaml1_all.deb
 2e188c5f54a1ff9e246fc221629c9452 20622 math optional why3_1.8.2-3+ocaml1_amd64.buildinfo
 bd0822072514d36e51952e09bd1d81ac 13241788 math optional why3_1.8.2-3+ocaml1_amd64.deb