From foo@bar  Tue Aug 25 14:30: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: powerpc
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:
 fb973119e4856f835819ef61838998530cb996ac 16072 coq_9.2.0+dfsg-4_powerpc.buildinfo
 dffed5c7b5b35245801b17b18686af56258e5ac3 24094316 coq_9.2.0+dfsg-4_powerpc.deb
 6a34bcacb7b52d613541a104afdeee4412eba7b3 46578764 libcoq-core-ocaml-dev_9.2.0+dfsg-4_powerpc.deb
 e109f1a398d070b43cebb466f46622f70e851b5f 18076612 libcoq-core-ocaml_9.2.0+dfsg-4_powerpc.deb
 77f43e149dcef525c5c58210f74f7e63ebae63d3 1151220 libcoq-core_9.2.0+dfsg-4_powerpc.deb
 13c3536dc148b67aa45949ccebe39a5e3ad51848 623628 rocqide_9.2.0+dfsg-4_powerpc.deb
Checksums-Sha256:
 ab5d79c9b89e1df5cb6f4350309699809841cb839fdc0f5b5cee015eab4750bd 16072 coq_9.2.0+dfsg-4_powerpc.buildinfo
 8e6de47578a8df6d53d62efcd5b3a458d60658081d146dfb15207e6102cab397 24094316 coq_9.2.0+dfsg-4_powerpc.deb
 0be00f0ab319a39697d8bce4326591890b0a304a13556288e08a5d75b9e444b8 46578764 libcoq-core-ocaml-dev_9.2.0+dfsg-4_powerpc.deb
 8ac2d993a4dc6ac18dd4d3d2946144191cb906a45bdf9e6a5484047c6fa5f984 18076612 libcoq-core-ocaml_9.2.0+dfsg-4_powerpc.deb
 611530129eb1fb3dfade4902c01b8e944cef87a1ebeca668640dc9dd4578cf85 1151220 libcoq-core_9.2.0+dfsg-4_powerpc.deb
 afd20a7d5ae0edc2aa80df769b75f2764568abfe8140cf81b8c95c5e845058aa 623628 rocqide_9.2.0+dfsg-4_powerpc.deb
Files:
 bc0e5890b1364fb91628befabea86bd8 16072 math optional coq_9.2.0+dfsg-4_powerpc.buildinfo
 f2f6d77d3d7996c9bac5177095ea4290 24094316 math optional coq_9.2.0+dfsg-4_powerpc.deb
 3ce14376239835fb8aa6743fdd360251 46578764 ocaml optional libcoq-core-ocaml-dev_9.2.0+dfsg-4_powerpc.deb
 a5803400b28261e27316631b694e54e3 18076612 ocaml optional libcoq-core-ocaml_9.2.0+dfsg-4_powerpc.deb
 5c5d88c37c859df02c70791c7b6a60cf 1151220 math optional libcoq-core_9.2.0+dfsg-4_powerpc.deb
 819ec9cd8d82f7e536a6a9fde7bea95d 623628 math optional rocqide_9.2.0+dfsg-4_powerpc.deb
Signed-By: Debian buildd autosigning key for debian-project-be-1 <buildd_ppc64-debian-project-be-1@buildd.debian.org>