Format: 1.8
Date: Thu, 13 Mar 2025 10:52:29 +0100
Source: why3
Binary: libwhy3-ocaml-dev libwhy3-ocaml-dev-dbgsym why3 why3-dbgsym why3-examples
Architecture: source amd64 all
Version: 1.8.0-2+ocaml20250313
Distribution: unstable
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-examples - Examples for the why3 verification platform
Changes:
 why3 (1.8.0-2+ocaml20250313) bookworm-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.3.0
Checksums-Sha1:
 b462ed279c95adf188af7a54a363ed5ee63c2e2d 1524 why3_1.8.0-2+ocaml20250313.dsc
 991eb730b6a62d76e547b4f3deb3550f80054107 6637327 why3_1.8.0.orig.tar.bz2
 99e72d90691cfc69dbef7c22a4285e848549eb30 18972 why3_1.8.0-2+ocaml20250313.debian.tar.xz
 516ae3579cb63c8d5ea2fa831c4cc6bfd59e6793 871168 libwhy3-ocaml-dev-dbgsym_1.8.0-2+ocaml20250313_amd64.deb
 2fc0e03c65c27a096457e89c58c68422ab601681 13076504 libwhy3-ocaml-dev_1.8.0-2+ocaml20250313_amd64.deb
 b97e9a699fb682bda7c551a03b618a4730f3d9c4 2620512 why3-dbgsym_1.8.0-2+ocaml20250313_amd64.deb
 c5bb88ff73c927064e8744202c666987d7290878 4273164 why3-examples_1.8.0-2+ocaml20250313_all.deb
 36186d268488699020247357b9ee6d809a58844a 16660 why3_1.8.0-2+ocaml20250313_amd64.buildinfo
 a89c8699a9665d88440a2bceb03eb8cb289d0bcb 12369468 why3_1.8.0-2+ocaml20250313_amd64.deb
Checksums-Sha256:
 b8c48e52dd592991979ea5d0993aceff7d349c55390e677ab61392ee9ef6b7b2 1524 why3_1.8.0-2+ocaml20250313.dsc
 5e0cad35f0e6f5adfb827f82365aafdb1f272708b43555b01d1bb234734d7188 6637327 why3_1.8.0.orig.tar.bz2
 8758ae1a4ac1a85dca59b714d7942d9ddcccf76f0f8c03e17bb25e24de6d402e 18972 why3_1.8.0-2+ocaml20250313.debian.tar.xz
 06637f527158eaa00689d77470d7f699c77b42568474d6f35bc612f39a03aec2 871168 libwhy3-ocaml-dev-dbgsym_1.8.0-2+ocaml20250313_amd64.deb
 5eb359c96dfa5026f726800af4f056b4fe71b9931a0f1b249dd543938c84f51f 13076504 libwhy3-ocaml-dev_1.8.0-2+ocaml20250313_amd64.deb
 64b1fcff1a454adee910f374b3a48bd02f9198fc15c1fe1c53037f1fe3c94fdb 2620512 why3-dbgsym_1.8.0-2+ocaml20250313_amd64.deb
 ff80fa3775d94e79f2532df6009a3c156f0473d80f1d9fc34e1ad1055bf7d6e2 4273164 why3-examples_1.8.0-2+ocaml20250313_all.deb
 3d7d35b0b8b2d60d190ac315b355b7bc3e9cc2c03f9608e81b651c820a378700 16660 why3_1.8.0-2+ocaml20250313_amd64.buildinfo
 b179114dfa2fcd821730d1b076ad2081704d6d08ca059de0520fdd31a703159b 12369468 why3_1.8.0-2+ocaml20250313_amd64.deb
Files:
 7731a1df99d6ef6efa22c7d79a5385ec 1524 math optional why3_1.8.0-2+ocaml20250313.dsc
 d5c98e52d55fd6341b19d2e225c779c4 6637327 math optional why3_1.8.0.orig.tar.bz2
 0aa168722e8c30bd79f359191b0a1a0f 18972 math optional why3_1.8.0-2+ocaml20250313.debian.tar.xz
 049f5f27d453799a51fb792f463a28b7 871168 debug optional libwhy3-ocaml-dev-dbgsym_1.8.0-2+ocaml20250313_amd64.deb
 0fd68b80a54c79ac6af2c7e6639f35a6 13076504 ocaml optional libwhy3-ocaml-dev_1.8.0-2+ocaml20250313_amd64.deb
 562be914ce38e8dc6aad38c6991c1e7a 2620512 debug optional why3-dbgsym_1.8.0-2+ocaml20250313_amd64.deb
 e90df665d9d7eb1553fbf61e14d9d2b4 4273164 math optional why3-examples_1.8.0-2+ocaml20250313_all.deb
 d2633d6553e6640c0473ac8e7735663e 16660 math optional why3_1.8.0-2+ocaml20250313_amd64.buildinfo
 7aaf310254e30a2bfd61713964e9ba10 12369468 math optional why3_1.8.0-2+ocaml20250313_amd64.deb