Format: 1.8 Date: Sun, 31 Mar 2024 17:52:42 +0000 Source: coq Binary: coq coqide libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib Built-For-Profiles: noudeb Architecture: arm64 Version: 8.18.0+dfsg-1build2 Distribution: noble-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Steve Langasek Description: coq - proof assistant for higher-order logic (toplevel and compiler) coqide - proof assistant for higher-order logic (gtk interface) libcoq-core-ocaml - runtime libraries for Coq libcoq-core-ocaml-dev - development libraries and tools for Coq libcoq-stdlib - proof assistant for higher-order logic (theories) Changes: coq (8.18.0+dfsg-1build2) noble; urgency=medium . * No-change rebuild for CVE-2024-3094 Checksums-Sha1: 9d7bd8567ff97f23bab2b0134d5dbabd68456aa1 11338662 coq-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb 5b7ddde070ef26b657017d42c4274c04b4d2fcb2 18647 coq_8.18.0+dfsg-1build2_arm64.buildinfo dbf9ec91dd55d9ac0a583ed646d770b44e72b196 106631086 coq_8.18.0+dfsg-1build2_arm64.deb cb69dd1d4228d425d32fc18b4d03aedbbdd1b210 805866 coqide-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb 31c5c27ae47c226f0f6b6837809198782179f330 2820174 coqide_8.18.0+dfsg-1build2_arm64.deb 3ac6bc5cca42c4320babc2b7f5edee10ab617115 2081070 libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb cb0180e8684d27819c51b2d2b823c9e004e211b8 51860872 libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64.deb f9e10f03d53c13ff0166935557b66c43fbac1ccd 29203264 libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb edb41267952d546730531ba7023c0ee978a68006 26512160 libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb Checksums-Sha256: 7c5c11188d5e6df4ba22d9dbb696e7579fe1e15974694a79356407c759b006e0 11338662 coq-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb bc59cd3c10a4bd212a4328869e1c1fafdb255bbd407a1eb2adf4709063059a39 18647 coq_8.18.0+dfsg-1build2_arm64.buildinfo 9301efc43b1ad0077a4247ff3f40e7d59467a9215856244bbbd06d353c7fe72d 106631086 coq_8.18.0+dfsg-1build2_arm64.deb b35a234e981e8f0a0a955e578b4d2a62e26708d6c64dbe73d194e75bdeeedd8b 805866 coqide-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb 5034df1a723b37799db565ecd8265c8719115d68bb0f749210ed211251c79995 2820174 coqide_8.18.0+dfsg-1build2_arm64.deb 83c7188cf4d6c94dcbdba6cf4126d8baf2bee204e982176f518fcf29a3049b0c 2081070 libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb 7fadba952bbd0689762c5deca94df5bdeb536f87b52362286b1e1c5afd9386d5 51860872 libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64.deb 65d2946b78d6b199d543a013b4c1446dddf15ffc1e57e3ba53fa7a4a6afa27c4 29203264 libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb 7f732ef8f61a726d74189f6c83e66f8ed9a5e234e927376a5b92cf42cfb42ece 26512160 libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb Files: 056a0d8eac799078619548ca52deebbf 11338662 debug optional coq-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb 9d62e5b1232bf37316ebe336b616dbca 18647 math optional coq_8.18.0+dfsg-1build2_arm64.buildinfo 91b998a1ff535db1c0e3ad70f15fc967 106631086 math optional coq_8.18.0+dfsg-1build2_arm64.deb bbb7bfd965d13e5dda14d5c47e900432 805866 debug optional coqide-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb 3aa92531ff84b85b73e7cdfc99ab5346 2820174 math optional coqide_8.18.0+dfsg-1build2_arm64.deb c5dc486392ce21b4e856b9b7dbfe080e 2081070 debug optional libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1build2_arm64.ddeb b096cfeeaf9e83128fdd2e18b6326568 51860872 ocaml optional libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64.deb c452daac1e12786af456238dcbcec642 29203264 ocaml optional libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb 52848a36a03e1cdaa085e1e86097a84b 26512160 math optional libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb Original-Maintainer: Debian OCaml Maintainers