Format: 1.8
Date: Fri, 06 Nov 2026 23:24:55 +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:
 63336baeab75b2644250e8c0291ad881a8154427 1822 why3_1.8.2-3+ocaml1.dsc
 e143f14cbe31f0603cfa512ede2d38b2b29a85e6 6644926 why3_1.8.2.orig.tar.bz2
 b92eb2269ce626262f53eb9b575721e6fefa2d83 19636 why3_1.8.2-3+ocaml1.debian.tar.xz
 46d957d829c62606e8b38d1a93ed49df6718d41e 871244 libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 0c2f2abcdf7db9cfe7f9797c59f551b62d0b09cc 12140344 libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 1c3d8f8bb55a7831dd87a5ae312e024bfc445e5f 2668992 why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 30da04efbbdde57b4a58c0cd5bd42911cd4fef59 1275332 why3-doc-html_1.8.2-3+ocaml1_all.deb
 df3da17cc8682f760500d0c18cf48cc1ba9cac24 1392408 why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 ec28a85b6e1d42b9c63b597340ad512cbbc559c6 4270512 why3-examples_1.8.2-3+ocaml1_all.deb
 a4c184217767412e18c8de685fa98a7bb8c9c108 20717 why3_1.8.2-3+ocaml1_amd64.buildinfo
 76fc984f2fb701d548d41338dbc4dfbad1642ae1 13245036 why3_1.8.2-3+ocaml1_amd64.deb
Checksums-Sha256:
 e01bc70b4a1acf2b92ffd8ee15b9ea410cbb95a5f8f105a3996c09eaebbb43b1 1822 why3_1.8.2-3+ocaml1.dsc
 1ccb8e6d75632606842987b08b00cbc13d512a3dba9eab06ff420ad3bae1d111 6644926 why3_1.8.2.orig.tar.bz2
 5467ff2b4374a3dfa035a9f982b18a86a0041d2763489ace8eb6e99096cfa3c4 19636 why3_1.8.2-3+ocaml1.debian.tar.xz
 00fd782db0d18912fdac19fc55276ddafee76b99449020db70e0210d1c1cf79d 871244 libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 6c3c2e8c6fc3e396358b2fc2832dc64e6025a51cddd00d9752265ea8bc5fcc1a 12140344 libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 1faaaa8358c6d70888814a157e83bc74ef6c91cdbdb0e487b32373c10343fcde 2668992 why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 828e0eaeeb4e7b47a8558f46ef4b6f1b59d92516225e9021099c8d3509b6b54c 1275332 why3-doc-html_1.8.2-3+ocaml1_all.deb
 3c907a550d7aeec157fca54b8df43e26c4465836fccbd3e3637b620bc6078121 1392408 why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 7419a980095f856b87415bf5218c0f693e0e03658baa7b903f62279eb4d22517 4270512 why3-examples_1.8.2-3+ocaml1_all.deb
 d7a314ae3e95d2b297144f9cd8f9abac4445be55545f82bd81a285d859c8133a 20717 why3_1.8.2-3+ocaml1_amd64.buildinfo
 e9d8ab7c30bc4ec3e788fac5f90776d1ede25ddd796bc03f9c4a677112537936 13245036 why3_1.8.2-3+ocaml1_amd64.deb
Files:
 5f294b67a9bb7d60f56185f6bd820fa8 1822 math optional why3_1.8.2-3+ocaml1.dsc
 0a89fc6956ad76a4af1a4763c24af107 6644926 math optional why3_1.8.2.orig.tar.bz2
 2caaa11247f4b29db1d935dbf7ef98ba 19636 math optional why3_1.8.2-3+ocaml1.debian.tar.xz
 8f0fd1c2de21ca46720d46a52786c894 871244 debug optional libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 e01e387c292d91e73ca9b66b5212d9b2 12140344 ocaml optional libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 03a7b84da23685637f3b8639f181c69f 2668992 debug optional why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 5c8e6d896f5d3faf6ef96fda8aa22e6c 1275332 math optional why3-doc-html_1.8.2-3+ocaml1_all.deb
 3abcb1f9089b4cbee75fcf4b06572a30 1392408 math optional why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 69813de988646b6b08257d299f0a703c 4270512 math optional why3-examples_1.8.2-3+ocaml1_all.deb
 e955779026f1ede96e41f4f941711323 20717 math optional why3_1.8.2-3+ocaml1_amd64.buildinfo
 4da34335839039282c250a41d920d2d5 13245036 math optional why3_1.8.2-3+ocaml1_amd64.deb