Format: 1.8
Date: Wed, 11 Nov 2026 14:19:18 +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-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:
 e3a32cdb6617cac71dd2850e57c262dd3c4a0146 1822 why3_1.8.2-3+ocaml1.dsc
 e143f14cbe31f0603cfa512ede2d38b2b29a85e6 6644926 why3_1.8.2.orig.tar.bz2
 c9e52e7a1f7feaa038d34d1ee69dfc982304d200 19644 why3_1.8.2-3+ocaml1.debian.tar.xz
 03801c3957ceda2be8b83c9d9c4fec787279cb07 870968 libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 6c440be6349903c4430912f7ee2c36338c70bf97 12151704 libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 d662d4b29914f03a4260d27f50cb66880833d4e8 2667480 why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 975181c45f21797a2ea81e7a9ea83b143e7781da 1275352 why3-doc-html_1.8.2-3+ocaml1_all.deb
 f933d149a96f3024e148c6d14cbe5d6e080e8d40 1392368 why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 041eb73544ed485ff0ce90bff3f21a4e5905efa0 4270720 why3-examples_1.8.2-3+ocaml1_all.deb
 a20057379905f446643553b0f7e442d3e4449127 20722 why3_1.8.2-3+ocaml1_amd64.buildinfo
 be1d3a91990466c70e8ac24e19595fbecf4e894f 13241120 why3_1.8.2-3+ocaml1_amd64.deb
Checksums-Sha256:
 f4bb6a87241f9d311dd516e05afaa28716d49fa3bae428729197d2bb0e3bc6ec 1822 why3_1.8.2-3+ocaml1.dsc
 1ccb8e6d75632606842987b08b00cbc13d512a3dba9eab06ff420ad3bae1d111 6644926 why3_1.8.2.orig.tar.bz2
 a0350e40439e7fa24e96280d4a428bca21c51b4d4534bdb69879f517b65d0c57 19644 why3_1.8.2-3+ocaml1.debian.tar.xz
 fd707fa9ec98489be608ad5f445406a48a5726f70b8810c86e23d1d8f6804ddd 870968 libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 bfa44f3b6e4c52bd5481ab36cbe4565de71669d7836736105546ab33fc39d950 12151704 libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 a7879d5d47cfe46671a28197cbca2feea7a9fb183e9373cbd155bb989cc10167 2667480 why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 f2b3be70919eacaab75c72853066108c32d9338096991b33deeeacd2910f3cb8 1275352 why3-doc-html_1.8.2-3+ocaml1_all.deb
 52cf71b5a1b46486bf29c29b5dbe5e8e189f579b525e277a0f091059dbb2e6e5 1392368 why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 f89469cd18fd24e749dd142ecd45073e301a9167a7f504ce57c469f7017b000a 4270720 why3-examples_1.8.2-3+ocaml1_all.deb
 487e15e2995f9116c7d62e533c6c1cbe824f56fbec264b45a2ffe04e69512f3f 20722 why3_1.8.2-3+ocaml1_amd64.buildinfo
 d988f38957bedf9fa3a047f87d7cb220e23e922f56203d7bf99db744e324ca01 13241120 why3_1.8.2-3+ocaml1_amd64.deb
Files:
 430b246b7e3dcd0b8950a06922485311 1822 math optional why3_1.8.2-3+ocaml1.dsc
 0a89fc6956ad76a4af1a4763c24af107 6644926 math optional why3_1.8.2.orig.tar.bz2
 908808608abf853ce49dbe058f0ce517 19644 math optional why3_1.8.2-3+ocaml1.debian.tar.xz
 f877cfde3b4dfcd5f526f6e35ab35abd 870968 debug optional libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 cfa39adf76c49f42f84d759d6721b42d 12151704 ocaml optional libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 97d861020309a58358eebb1533499cf2 2667480 debug optional why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 80921afa60c73751d3901ceccd46e577 1275352 math optional why3-doc-html_1.8.2-3+ocaml1_all.deb
 da02b00a5403591872a851ac268e239a 1392368 math optional why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 2abb5ffbda73456d7f2aa6fd8d536936 4270720 math optional why3-examples_1.8.2-3+ocaml1_all.deb
 291b68c0939a56925dfbfd2efa0463d4 20722 math optional why3_1.8.2-3+ocaml1_amd64.buildinfo
 8a6322edc816e86c208cb365a1681d1d 13241120 math optional why3_1.8.2-3+ocaml1_amd64.deb