Format: 1.8
Date: Fri, 15 May 2026 10:16:54 +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:
 f1f31d63560d6f055a827c288abd0eea09fceadc 1822 why3_1.8.2-3+ocaml1.dsc
 e143f14cbe31f0603cfa512ede2d38b2b29a85e6 6644926 why3_1.8.2.orig.tar.bz2
 da2039edfcf8aedd9139005982aa2fa77c018099 19640 why3_1.8.2-3+ocaml1.debian.tar.xz
 9581d068533c3abdd79705218f255da3038f29f3 868500 libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 2c478fdf611896a22d5d55456a1078daa5de13b4 11707212 libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 25569ca20a85f58227b6c28672c92b030556e403 2640536 why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 a6fadba36507e17b3f70b03abe674921973daaf6 1275348 why3-doc-html_1.8.2-3+ocaml1_all.deb
 d5f79416aa1f4d4ea195573d8862dc5771554b0e 1392344 why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 3a398f4f280adb76a105c53c964e6ff440854f9b 4270688 why3-examples_1.8.2-3+ocaml1_all.deb
 65fb83d5f7131e7f7361910c78013d168662e755 20633 why3_1.8.2-3+ocaml1_amd64.buildinfo
 12b61f0b18bd6937dcc24b99e76e47eec4a7df9d 12790260 why3_1.8.2-3+ocaml1_amd64.deb
Checksums-Sha256:
 eacb2e995662bb0c5c9b93f3fe7a606f9a7b00172fde72901f06b42fc3325fe0 1822 why3_1.8.2-3+ocaml1.dsc
 1ccb8e6d75632606842987b08b00cbc13d512a3dba9eab06ff420ad3bae1d111 6644926 why3_1.8.2.orig.tar.bz2
 f609be23a480b5b36cbbc1661f3e8baaa166863193c69e98dfa986166e376cf1 19640 why3_1.8.2-3+ocaml1.debian.tar.xz
 65f4377df20b241c8f40be1c972f8b4cfd968d912edc100e2d5701f5e8611e2c 868500 libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 789b8e8fe5672d8e1a5a50351a72bf8aac648a4c6b4ea7be2e7ef3102e366a32 11707212 libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 2dbca7cd53c61147f4e87eca2cea30849fd4452daf0ac9d75fc65e46e2bcf6d9 2640536 why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 5798b5ea8acb9796b273013b20e6cc85166e2c999f3e4481af0974325c93ae8c 1275348 why3-doc-html_1.8.2-3+ocaml1_all.deb
 3bfdd60c130e48c9d93b34033cac6bcb069986322730551aebe4c0946d9ee252 1392344 why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 fa9754ff6fa597209a34877e79389c82d456082d00b88911cf59ef98849724be 4270688 why3-examples_1.8.2-3+ocaml1_all.deb
 b7739c2d586d6124f194b40407fff2e92e8d01246edda5cb8e88ffaf6bbf7eee 20633 why3_1.8.2-3+ocaml1_amd64.buildinfo
 0d75a038e0aba3edea25771149ce31f48b084facf98e5c7adfe86c9521578f76 12790260 why3_1.8.2-3+ocaml1_amd64.deb
Files:
 23c8ee084f07fa7bf1873f323e7ecb4b 1822 math optional why3_1.8.2-3+ocaml1.dsc
 0a89fc6956ad76a4af1a4763c24af107 6644926 math optional why3_1.8.2.orig.tar.bz2
 1ce3ad864b46556a880a56bab8c85c85 19640 math optional why3_1.8.2-3+ocaml1.debian.tar.xz
 9ca53a1f394540ed53b1cf51d7e25102 868500 debug optional libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 beaaca784931b179da8da9e5097fbccb 11707212 ocaml optional libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 0c786affe68cb728145e7c521d7bbb1c 2640536 debug optional why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 77852a7114de6580fefbf46ad0f67fec 1275348 math optional why3-doc-html_1.8.2-3+ocaml1_all.deb
 e7beacd5f005da7119e9c808e2fe96cf 1392344 math optional why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 2c337bd9d16ab3cbfd4cc450b54e257e 4270688 math optional why3-examples_1.8.2-3+ocaml1_all.deb
 daba00c882438a91b904ebf2b987e9f5 20633 math optional why3_1.8.2-3+ocaml1_amd64.buildinfo
 8689729dad3e8322a82d091ae6859c84 12790260 math optional why3_1.8.2-3+ocaml1_amd64.deb