Format: 1.8
Date: Sat, 25 Apr 2026 08:37:23 +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.4.1
Checksums-Sha1:
 420e3c245fddd8cac67bb2f7b41dea6a167a1900 1822 why3_1.8.2-3+ocaml1.dsc
 e143f14cbe31f0603cfa512ede2d38b2b29a85e6 6644926 why3_1.8.2.orig.tar.bz2
 b980c0d342b8c5633135856c822f83341d463cfc 19652 why3_1.8.2-3+ocaml1.debian.tar.xz
 af76ea887fc19c8eefcf076bf810ff715816def4 868508 libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 f549cfde9070317863a04d2394bde2fa22e2ff12 11685316 libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 acb19c504f32616fb853e54f98c88364163988b1 2645644 why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 8e0d08f735475c6b041ab011dea2495ceb1fdabc 1271860 why3-doc-html_1.8.2-3+ocaml1_all.deb
 776067c8141c09bd0fa35fd20eea8b340464fa44 1392096 why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 5f8d87caf23de04d2bff84ac60f1d23d9d1409f2 4270668 why3-examples_1.8.2-3+ocaml1_all.deb
 23f3893e2639fbeacd571bc82d253199be651c4d 20494 why3_1.8.2-3+ocaml1_amd64.buildinfo
 c1597fa7de2621b53a6f3e6e15334a843aab27ff 12789744 why3_1.8.2-3+ocaml1_amd64.deb
Checksums-Sha256:
 b85a13ab9fb0e1bc5e96238f78b068f5d8073135441c29ff1cd0726d2bc923d4 1822 why3_1.8.2-3+ocaml1.dsc
 1ccb8e6d75632606842987b08b00cbc13d512a3dba9eab06ff420ad3bae1d111 6644926 why3_1.8.2.orig.tar.bz2
 009314a638451a39ffda125a88a4ac2bcbd013766f0247eec0c1adab3a8f2439 19652 why3_1.8.2-3+ocaml1.debian.tar.xz
 5bf9abb00cc1bee82b25ddfcc7748afc14e84925023d89bde2661a814429d89c 868508 libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 0fe0b1edee9a7d9e5148a785a4fe7c3554364c6995d4c8dfe1bc8a57bdc036fc 11685316 libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 ee8ed1ceb8ff7d4ff2c21a9f774a0e276a6ac912b177cebc984bb310e183e630 2645644 why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 f1121f87691430c7f12d3d7969c7837ad577cb86d33f080527ffe5a0a4d139b6 1271860 why3-doc-html_1.8.2-3+ocaml1_all.deb
 69bc728acb54e40310ecf359167911ebc8b969228e4ced24b43e3bd2d573bddd 1392096 why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 d8676908171c00cb5b15dbd139ba949a3cc11edb0993dce35a96f2c099ff6386 4270668 why3-examples_1.8.2-3+ocaml1_all.deb
 e53e12b2e0632f26ba54b682063626f938a30a6a013325f05273a0d9460fce04 20494 why3_1.8.2-3+ocaml1_amd64.buildinfo
 af38a13826cc063ceaa057b488a3e19f1817b744066b187ded0f235b16ee58ca 12789744 why3_1.8.2-3+ocaml1_amd64.deb
Files:
 1b054f486e937b3d5e6595b194fd5dea 1822 math optional why3_1.8.2-3+ocaml1.dsc
 0a89fc6956ad76a4af1a4763c24af107 6644926 math optional why3_1.8.2.orig.tar.bz2
 36eb3b62070aa6d1ca2d9620268a1a8d 19652 math optional why3_1.8.2-3+ocaml1.debian.tar.xz
 bb8c9e8829c7cd173479622c098235b5 868508 debug optional libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 6cefba861a808247e1c5ead1f920edbf 11685316 ocaml optional libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 a49e06e1248845f3f1d54bd88d69173d 2645644 debug optional why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 956f358c3b9b05b854caba1960084a75 1271860 math optional why3-doc-html_1.8.2-3+ocaml1_all.deb
 fc360c18e00ff7a1fbac5b85d72ae3dd 1392096 math optional why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 f77e4756b1209d2053cf7a935421ddcb 4270668 math optional why3-examples_1.8.2-3+ocaml1_all.deb
 eb628728d20694e8da4ca7b58cd82aef 20494 math optional why3_1.8.2-3+ocaml1_amd64.buildinfo
 d7332201c5c8d60ba955d29d68c1e968 12789744 math optional why3_1.8.2-3+ocaml1_amd64.deb