From foo@bar  Tue Aug 25 13:00:01 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: ppc64
Version: 9.2.0+dfsg-4
Distribution: sid
Urgency: medium
Maintainer: ppc64 / powerpc Build Daemon (debian-project-be-1) <debian-project-be-1@debian-project-be-1.buildd.org>
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:
 6417ae6a6bf35b39b58a19d5b1c0a2ce1208fb07 16103 coq_9.2.0+dfsg-4_ppc64.buildinfo
 e16b275850b55a39adcae761ef71770f2d340148 24187912 coq_9.2.0+dfsg-4_ppc64.deb
 2d942d260a8fdf814b8b76cf42991947d074c5c2 46573040 libcoq-core-ocaml-dev_9.2.0+dfsg-4_ppc64.deb
 2315fbccbb9bdd1d266fab523c91087dd4bf5a7d 18071392 libcoq-core-ocaml_9.2.0+dfsg-4_ppc64.deb
 687b660eff23a7ccced2de1d50c2159c65102b87 1154240 libcoq-core_9.2.0+dfsg-4_ppc64.deb
 b483ee9d7ef0923e8311090fa2f5d1d7ab17df99 637120 rocqide_9.2.0+dfsg-4_ppc64.deb
Checksums-Sha256:
 6a6c9edbc253551359a05556920b27cbc608c52ccde2a4dadc64f9aff54e0841 16103 coq_9.2.0+dfsg-4_ppc64.buildinfo
 f291a7960dc55934e14b709c7f1ce137bd33eb6a334c7f8648eda4f06ab92749 24187912 coq_9.2.0+dfsg-4_ppc64.deb
 ceec99b9b2719bf780e12f11373434b8b70833c6c5827f2812c14218109d80eb 46573040 libcoq-core-ocaml-dev_9.2.0+dfsg-4_ppc64.deb
 cca18b29b4d63edf84920c4c0d1ea864d22908f7e65bf61b90fa4890d1df1dc9 18071392 libcoq-core-ocaml_9.2.0+dfsg-4_ppc64.deb
 c2c8b4e5ba8f47cd45d21ac7a3a58e7ee724ef6227a94316c2b0a9cef696bde4 1154240 libcoq-core_9.2.0+dfsg-4_ppc64.deb
 4cceba5920400c7c9d408ca00837bf6305e488308d0f041788290be569c4ba2e 637120 rocqide_9.2.0+dfsg-4_ppc64.deb
Files:
 dcd87b8967c0124a7d294544aaff7255 16103 math optional coq_9.2.0+dfsg-4_ppc64.buildinfo
 c8a2557b1d8f4bf2afc98c7915ee8cec 24187912 math optional coq_9.2.0+dfsg-4_ppc64.deb
 685208942de699b1bbdcb45191ce9d22 46573040 ocaml optional libcoq-core-ocaml-dev_9.2.0+dfsg-4_ppc64.deb
 39eaa4854a3ef4aba60a7cc6e8e5ada3 18071392 ocaml optional libcoq-core-ocaml_9.2.0+dfsg-4_ppc64.deb
 c80adaf933d828e94d93bcc0304da1f9 1154240 math optional libcoq-core_9.2.0+dfsg-4_ppc64.deb
 f80ad6b6e3e60f65e7ae327d01e7b4aa 637120 math optional rocqide_9.2.0+dfsg-4_ppc64.deb
Signed-By: Debian buildd autosigning key for debian-project-be-1 <buildd_ppc64-debian-project-be-1@buildd.debian.org>