Format: 1.8 Date: Mon, 01 Apr 2024 15:40:35 +1100 Source: why3 Binary: libwhy3-ocaml-dev why3 Built-For-Profiles: noudeb Architecture: arm64 Version: 1.6.0-1build7 Distribution: noble-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: William Grant Description: libwhy3-ocaml-dev - OCaml librariries for why3 (dev) why3 - Software verification platform Changes: why3 (1.6.0-1build7) noble; urgency=medium . * No-change rebuild for CVE-2024-3094 Checksums-Sha1: 28c044b14cd831ac188fdd322a6202f6eb3b92c1 875768 libwhy3-ocaml-dev-dbgsym_1.6.0-1build7_arm64.ddeb 4b66087d352c6f3a5a999719b03ba5fd1af7649a 14211210 libwhy3-ocaml-dev_1.6.0-1build7_arm64.deb 4ff144c1e0cdfe30f06d85a135579f5e2c775bc9 2858244 why3-dbgsym_1.6.0-1build7_arm64.ddeb a001ced76c693aa12b38c414bb4d75d2480e455c 17276 why3_1.6.0-1build7_arm64.buildinfo 1d8dc04ec492c2c3cefa061308fe577b516ce08a 16004948 why3_1.6.0-1build7_arm64.deb Checksums-Sha256: 672cd7b59dc0c684492c45ba14c365c9397878536dd8ead0bd0e0fba3d6b3e76 875768 libwhy3-ocaml-dev-dbgsym_1.6.0-1build7_arm64.ddeb a7069e334485b308a3a63d699c5a04e9980e868d9508b3a973e16d13b0a2c368 14211210 libwhy3-ocaml-dev_1.6.0-1build7_arm64.deb 1060e38e5163d0252b95e88e2afab5efcb8b18f366f876c9b982166298f7520f 2858244 why3-dbgsym_1.6.0-1build7_arm64.ddeb 27e22a85ae66b083d784c2c42ebff0e8d01823335b3f3acec4414ccc9b6bfebf 17276 why3_1.6.0-1build7_arm64.buildinfo 6fdc124a854d2b570c3830860c26afd43670580fedb593e9cccda71adaec47e3 16004948 why3_1.6.0-1build7_arm64.deb Files: a10fb84ad3b3bb2a70b196b4b920e683 875768 debug optional libwhy3-ocaml-dev-dbgsym_1.6.0-1build7_arm64.ddeb 035dccc6af2954749a421b0ec8d203d4 14211210 ocaml optional libwhy3-ocaml-dev_1.6.0-1build7_arm64.deb 0cbbd33aae4a55da4ee74b560bd377b1 2858244 debug optional why3-dbgsym_1.6.0-1build7_arm64.ddeb 748db0bd02245129ffe9975753b87cd6 17276 math optional why3_1.6.0-1build7_arm64.buildinfo 313fc05fc793aa6ca83d6e6dea0d6d89 16004948 math optional why3_1.6.0-1build7_arm64.deb Original-Maintainer: Debian OCaml Maintainers