From foo@bar  Tue Aug 25 13:20: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: hurd-i386
Version: 9.2.0+dfsg-4
Distribution: sid
Urgency: medium
Maintainer: Debian GNU/Hurd Build Daemon <buildd_hurd-i386-ironforge@buildd.debian.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:
 67cc362d31f85c0554bb3071493fb6026c09a92b 15397 coq_9.2.0+dfsg-4_hurd-i386.buildinfo
 96bda067f350dfbe6e1b78efba41fb54245dd213 24288236 coq_9.2.0+dfsg-4_hurd-i386.deb
 dd8ae180c03d61e20e3eb9f6edea938b11ea22d2 46578204 libcoq-core-ocaml-dev_9.2.0+dfsg-4_hurd-i386.deb
 eda6a0db42584ced4485b00f672e3a717cab8ad8 18077164 libcoq-core-ocaml_9.2.0+dfsg-4_hurd-i386.deb
 3f0fcce91c297b7c590664923861c069663b831a 1152088 libcoq-core_9.2.0+dfsg-4_hurd-i386.deb
 1ddb287dbe49124985561988161e49bf7351f01a 639036 rocqide_9.2.0+dfsg-4_hurd-i386.deb
Checksums-Sha256:
 de56720e455f49cd6c87c95633c9acaea8fe152b9f9d39e13cbb709cdd331405 15397 coq_9.2.0+dfsg-4_hurd-i386.buildinfo
 fadf02191a53b3ff1fe58e2e09a1f84aca21bbe365065f790a1168af828b13a1 24288236 coq_9.2.0+dfsg-4_hurd-i386.deb
 4caa5af88be13ac01775de35a04e7fbfa878332b744bd268e16db748a481c31b 46578204 libcoq-core-ocaml-dev_9.2.0+dfsg-4_hurd-i386.deb
 93451610ad6600b798bdda041c44c743ecc84fe98450de436dc0b9374da6e9fa 18077164 libcoq-core-ocaml_9.2.0+dfsg-4_hurd-i386.deb
 0db5e2e31656fc8700fb9fc8ebd3462155c03f6c9d006e1b670519bab28f4155 1152088 libcoq-core_9.2.0+dfsg-4_hurd-i386.deb
 86c3738445775c23751421a16cbfda80665194298ab37de7ae554ee31d6023ce 639036 rocqide_9.2.0+dfsg-4_hurd-i386.deb
Files:
 1644bfe8c17c27d8450a1feffcc90060 15397 math optional coq_9.2.0+dfsg-4_hurd-i386.buildinfo
 e65e57961df9b70c48c8277f1af5bb98 24288236 math optional coq_9.2.0+dfsg-4_hurd-i386.deb
 cb8f4509d06fdb9abe186e792128472e 46578204 ocaml optional libcoq-core-ocaml-dev_9.2.0+dfsg-4_hurd-i386.deb
 b1d4645d07e7f9ecfe8ba572bbde6798 18077164 ocaml optional libcoq-core-ocaml_9.2.0+dfsg-4_hurd-i386.deb
 86b1e086a88f5b8bdf4ceacd85bd076c 1152088 math optional libcoq-core_9.2.0+dfsg-4_hurd-i386.deb
 ea692842d4f8633759dc92b86e5ea7dd 639036 math optional rocqide_9.2.0+dfsg-4_hurd-i386.deb
Signed-By: buildd autosigning key ironforge <buildd_hurd-i386-ironforge@buildd.debian.org>