Format: 1.8
Date: Mon, 07 Sep 2026 20:06:41 +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.1
Checksums-Sha1:
 284752c082fd2eefec9b0d1ee2746ae7f1541470 1822 why3_1.8.2-3+ocaml1.dsc
 e143f14cbe31f0603cfa512ede2d38b2b29a85e6 6644926 why3_1.8.2.orig.tar.bz2
 184d2ad5c347b60ef7ce8e6f1e42577fd1b29c30 19640 why3_1.8.2-3+ocaml1.debian.tar.xz
 157f682911edfa6acbb4c6273cc296d824bbaa8a 869164 libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 4da6790b91aa6171512df64d8935ba76a0fe1657 12143716 libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 5ee6fe2b4758f1f82b3a37f9aa9d63b7f8837c1f 2669136 why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 c9c46ea40fc69c0356e95f39d7bb66b6d1855ac4 1275372 why3-doc-html_1.8.2-3+ocaml1_all.deb
 ca190ca85c99b826b385519b1d96b68d25eff3b5 1392436 why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 ac511ac172737e3d5eca554f12409ca3b6acb531 4270784 why3-examples_1.8.2-3+ocaml1_all.deb
 a21587691b71857ae77e4411f46ad4ed765dbe32 20480 why3_1.8.2-3+ocaml1_amd64.buildinfo
 5252f218739ae0a22920d92e1377afc260ce85ea 13235532 why3_1.8.2-3+ocaml1_amd64.deb
Checksums-Sha256:
 96e945f0de5c9322856b8dd6b3d9266c95e46fbfb02770c0bf9dff55be1473b4 1822 why3_1.8.2-3+ocaml1.dsc
 1ccb8e6d75632606842987b08b00cbc13d512a3dba9eab06ff420ad3bae1d111 6644926 why3_1.8.2.orig.tar.bz2
 58c4620e3e6ccd4cd7a65b6b0c3edf0edfa304b042f767363537c0dabe5c65e9 19640 why3_1.8.2-3+ocaml1.debian.tar.xz
 daf79054381e4cf6e78ffcb2def7dd1b6cc8378776e43dde531d6c34c83a1dca 869164 libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 19a15cfddce3063c9a157b9dcc839c1d7ac7f4dd5973f4b7c257003d15693c97 12143716 libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 88fb8ccf76f13511276c394cbb454342ca53363c952915902f3327d496b4b259 2669136 why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 98ce7802f3cca8ba7172f70c8db7e777adc208ab5f7f80f27fa060187a28ae3d 1275372 why3-doc-html_1.8.2-3+ocaml1_all.deb
 953ee4af1e823aeb3517a9ab2a805ace7cd0823a182e5f5d39d42b1a75aed7c0 1392436 why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 a88248656e12795bb630b370a641b584b579a3c2a530e6195f2a34aa7853147c 4270784 why3-examples_1.8.2-3+ocaml1_all.deb
 329c90e9a3d18b633b6223ddbb01ca624a2843cb5c5c3fa41276b1fa9eaa77c9 20480 why3_1.8.2-3+ocaml1_amd64.buildinfo
 0d59b90f45a613d7544c1ebe0d24f7a87f87e277792eca02d694cc50158b0999 13235532 why3_1.8.2-3+ocaml1_amd64.deb
Files:
 266471c64a71e1168de1a38583de6363 1822 math optional why3_1.8.2-3+ocaml1.dsc
 0a89fc6956ad76a4af1a4763c24af107 6644926 math optional why3_1.8.2.orig.tar.bz2
 31627978547efd5642f5983532ad843c 19640 math optional why3_1.8.2-3+ocaml1.debian.tar.xz
 04fbc7f7ce396d8977750f1fd3676168 869164 debug optional libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb
 0ceb16d77386334c7224d81e2e5d7908 12143716 ocaml optional libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb
 35e743ea6586359fb5476971f3d441f7 2669136 debug optional why3-dbgsym_1.8.2-3+ocaml1_amd64.deb
 883cda6dd6cae21908d278ecd49a7b09 1275372 math optional why3-doc-html_1.8.2-3+ocaml1_all.deb
 b1b00c20a54d9fcf783d328969baf3eb 1392436 math optional why3-doc-pdf_1.8.2-3+ocaml1_all.deb
 705a0d85c35e5024f381b3e4673e6faa 4270784 math optional why3-examples_1.8.2-3+ocaml1_all.deb
 cb8eea9bba0c95006c25dd46cf2287c7 20480 math optional why3_1.8.2-3+ocaml1_amd64.buildinfo
 5c2cda8b754fa76cb9c3f71ba38ad752 13235532 math optional why3_1.8.2-3+ocaml1_amd64.deb