Format: 1.8
Date: Mon, 20 Jan 2025 17:36:54 +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.7.2-2+ocaml1
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-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.7.2-2+ocaml1) bookworm-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.2.0
Checksums-Sha1:
 c30a08960a5c2babd26a89c12cd415cc5e5b0e48 1808 why3_1.7.2-2+ocaml1.dsc
 0d28c008f0427acc38af6a1f371dd85336dcdd55 6321645 why3_1.7.2.orig.tar.bz2
 5813aee611ef13a80391dca3841d4832cee14b3d 18644 why3_1.7.2-2+ocaml1.debian.tar.xz
 66b7607cbd4af2ab44bac021afb581816a04845d 841748 libwhy3-ocaml-dev-dbgsym_1.7.2-2+ocaml1_amd64.deb
 290c554e37e583b3c04e075628c61fcc20df105f 12598732 libwhy3-ocaml-dev_1.7.2-2+ocaml1_amd64.deb
 81936dbdd2a1069f907cc7fe795b651441ae20bb 2536368 why3-dbgsym_1.7.2-2+ocaml1_amd64.deb
 c8582912698fca52e71f20334e094bc67b1b8056 1035836 why3-doc-html_1.7.2-2+ocaml1_all.deb
 92fdd5c4d812f7f85d3f9ae5b496441c17240991 1325876 why3-doc-pdf_1.7.2-2+ocaml1_all.deb
 673028a03acca766f774fade600f94d648044c3e 4047532 why3-examples_1.7.2-2+ocaml1_all.deb
 25f42d54004005bff9a3da3d327deac657407e62 20130 why3_1.7.2-2+ocaml1_amd64.buildinfo
 3742a4df979bd165d993adc8e1269e80f3c7cefb 10963676 why3_1.7.2-2+ocaml1_amd64.deb
Checksums-Sha256:
 3263f836d31d53ed48b0cf9730f094c293fe6a46ac0a4e21134d9979f2246cce 1808 why3_1.7.2-2+ocaml1.dsc
 7598d0f8e740ce76a359fc0e6db21f3cf873aebe4fc80ce349d75aa21dd72305 6321645 why3_1.7.2.orig.tar.bz2
 a02898224b7226e0390a22d78aa57ba06051802b10b353b4d14beb3ad9131be5 18644 why3_1.7.2-2+ocaml1.debian.tar.xz
 c9ff8a3854d1fe45ee5a58155b38c9bf9690b5f2a55efb3301113268dd848998 841748 libwhy3-ocaml-dev-dbgsym_1.7.2-2+ocaml1_amd64.deb
 2bb77a0290ed69c6975489f57702e9aaf9c26064c08eeb08f87a01704299b41e 12598732 libwhy3-ocaml-dev_1.7.2-2+ocaml1_amd64.deb
 2187569798bed1662eee7fbd5c0fb20beb6abfc16aedebbbddb1706281604a17 2536368 why3-dbgsym_1.7.2-2+ocaml1_amd64.deb
 fcafe0617a3e875742a221d3171f5c57e33e4731a0f4139e07245acada1078a8 1035836 why3-doc-html_1.7.2-2+ocaml1_all.deb
 f3208145b254720f095c202478c9e7ce0e00a6263e68272a1081b80b43a2480f 1325876 why3-doc-pdf_1.7.2-2+ocaml1_all.deb
 4f5f7a808fe354f0ebcc4a405843b854fc4d065dc3cd1fdcb333e5259a244730 4047532 why3-examples_1.7.2-2+ocaml1_all.deb
 281bd2f7a0d36e54989c3eb9e346d16fca75311e776c089dbd77096d9766fd87 20130 why3_1.7.2-2+ocaml1_amd64.buildinfo
 abd9edf72f5293ae629aa14461d7bfa43cbc404161ab0b5e4b2542db7efa770f 10963676 why3_1.7.2-2+ocaml1_amd64.deb
Files:
 d232a251779eb35d8afd0d5339db0b67 1808 math optional why3_1.7.2-2+ocaml1.dsc
 8db707cff5cc897d058011794985395b 6321645 math optional why3_1.7.2.orig.tar.bz2
 f418297daff1349339a47d395927dee7 18644 math optional why3_1.7.2-2+ocaml1.debian.tar.xz
 beef32b71c5d0875c735a70115eb1196 841748 debug optional libwhy3-ocaml-dev-dbgsym_1.7.2-2+ocaml1_amd64.deb
 b0f43b7970f3bc2d73fe06cfdb871ca4 12598732 ocaml optional libwhy3-ocaml-dev_1.7.2-2+ocaml1_amd64.deb
 6c17c009cd442fd577a91a92cd01aca8 2536368 debug optional why3-dbgsym_1.7.2-2+ocaml1_amd64.deb
 8c5cf89f254def9c45e3d29db75fa626 1035836 math optional why3-doc-html_1.7.2-2+ocaml1_all.deb
 342933fed00cf173a688dbc6feed9d88 1325876 math optional why3-doc-pdf_1.7.2-2+ocaml1_all.deb
 e61b4559a99abcac07baa248230b73ff 4047532 math optional why3-examples_1.7.2-2+ocaml1_all.deb
 a5eed0b34e9e1db1f921c59e5e1ea433 20130 math optional why3_1.7.2-2+ocaml1_amd64.buildinfo
 99795216d322377ccc58cc68d761c5a2 10963676 math optional why3_1.7.2-2+ocaml1_amd64.deb