From foo@bar  Tue Aug 25 13:00:02 2026
Format: 1.8
Date: Tue, 25 Aug 2026 13:45:05 +0200
Source: coq
Binary: coq libcoq-core libcoq-core-ocaml libcoq-core-ocaml-dev rocqide
Architecture: sparc64
Version: 9.2.0+dfsg-4
Distribution: sid
Urgency: medium
Maintainer: sparc64 Build Daemon (landau) <buildd3@landau.east.ru>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 libcoq-core - proof assistant for higher-order logic (theories)
 libcoq-core-ocaml - runtime libraries for Coq
 libcoq-core-ocaml-dev - development libraries and tools for Coq
 rocqide    - proof assistant for higher-order logic (gtk interface)
Changes:
 coq (9.2.0+dfsg-4) unstable; urgency=medium
 .
   * Add libcoq-core-ocaml to coq's Depends
   * Remove Priority and Rules-Requires-Root from debian/control
Checksums-Sha1:
 a0bc70ff24409181403eaae5676d0b04df4526b8 16065 coq_9.2.0+dfsg-4_sparc64.buildinfo
 3f14ef0359f329dbe5d49c891a378a3cfddbfe8f 23921720 coq_9.2.0+dfsg-4_sparc64.deb
 2d374d6a55f0e593db01bac16cf588139b3aa18f 46580368 libcoq-core-ocaml-dev_9.2.0+dfsg-4_sparc64.deb
 a687b4e8a2a3867c4f07447b414cc84d6a73c7d8 18069928 libcoq-core-ocaml_9.2.0+dfsg-4_sparc64.deb
 30be36775a20f6634f60ffdc17affb920a0b0105 1152260 libcoq-core_9.2.0+dfsg-4_sparc64.deb
 8128e9a9fc8ce0e1ece6efa7e44e83d4d7eeb06a 553980 rocqide_9.2.0+dfsg-4_sparc64.deb
Checksums-Sha256:
 cb9d96095150140b5e857546fc8a5bea80e935b4ab600e3faa773141e62b052b 16065 coq_9.2.0+dfsg-4_sparc64.buildinfo
 eb00b08009ab7572e7e378f63c1c5b54a5722dd26a44522879f232aa973ba51d 23921720 coq_9.2.0+dfsg-4_sparc64.deb
 76b2eed48d7360f775f803be79f8d678fa37c9261be02f87871b0d4d52cf2e72 46580368 libcoq-core-ocaml-dev_9.2.0+dfsg-4_sparc64.deb
 69bfa9e57056223aa6e527160b36153fbe9dae38d04325e27cec37da8daa2a78 18069928 libcoq-core-ocaml_9.2.0+dfsg-4_sparc64.deb
 45138d7dd9f0015ff160bcb2f0bc41539ce8a029b1690ff9d3802ef8f47ef7e6 1152260 libcoq-core_9.2.0+dfsg-4_sparc64.deb
 b049eca96d498ac44fbddec7dd5b0c91e48d16ea8cc6ba2d039309b6277d14fd 553980 rocqide_9.2.0+dfsg-4_sparc64.deb
Files:
 2b1b87ee66070e02c2d30aaeb477a4bc 16065 math optional coq_9.2.0+dfsg-4_sparc64.buildinfo
 4e03c4a082a4fa431529d5f1a2f8d66a 23921720 math optional coq_9.2.0+dfsg-4_sparc64.deb
 5b240f80abcd8ddbe00a439ca05abe6c 46580368 ocaml optional libcoq-core-ocaml-dev_9.2.0+dfsg-4_sparc64.deb
 2f1f1dad11f3957b900431870fdd69f1 18069928 ocaml optional libcoq-core-ocaml_9.2.0+dfsg-4_sparc64.deb
 72c51be5ffb7ce76c44a93e323317477 1152260 math optional libcoq-core_9.2.0+dfsg-4_sparc64.deb
 7bff556997b972f4fb8968ce1b1b4004 553980 math optional rocqide_9.2.0+dfsg-4_sparc64.deb
Signed-By: Debian buildd autosigning key for landau <buildd_sparc64-landau@buildd.debian.org>