-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 25 Aug 2026 13:45:05 +0200 Source: coq Architecture: source Version: 9.2.0+dfsg-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> 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: b167412a2e94207ed382838036632e548d098b0e 2710 coq_9.2.0+dfsg-4.dsc 202bbe73cfc705e9e922a1fdad9e1642cb054ad8 28296 coq_9.2.0+dfsg-4.debian.tar.xz 3934a07efc1283cb52a632dfb8518531801b09c5 10944324 coq_9.2.0+dfsg-4.git.tar.xz dd7d3339f0be096a40393668803f738422375744 17664 coq_9.2.0+dfsg-4_source.buildinfo Checksums-Sha256: 4833007aca4e86741a477bb757dd02b6edecf56c8dfd08e2d135d930c4507819 2710 coq_9.2.0+dfsg-4.dsc 2fc8e56ef34cbf53beb60976a055942c17ef0977a8ca01b05e5e3c15f3e6ff28 28296 coq_9.2.0+dfsg-4.debian.tar.xz af767d09697e4acd2da8100daef7aa9975b6f4867b412a9ba3ca44f2dd745e16 10944324 coq_9.2.0+dfsg-4.git.tar.xz 81a8bc5af13039d735e2b8994118119ea1e37f0e09529b63123f27bd5c1f78b2 17664 coq_9.2.0+dfsg-4_source.buildinfo Files: cb328207aad33bf7d1a3de133e64121f 2710 math optional coq_9.2.0+dfsg-4.dsc 9b1cbff11a681ca4ae0e811b3f740161 28296 math optional coq_9.2.0+dfsg-4.debian.tar.xz 6182c4260584511febad413c9f4094a2 10944324 math None coq_9.2.0+dfsg-4.git.tar.xz e6ba90197c2d854e5ceab2959ed7a409 17664 math optional coq_9.2.0+dfsg-4_source.buildinfo Git-Tag-Info: tag=e0a90a159f14e90d15e25872473065eac5f58932 fp=6de24e97eca886cc56e6250e21b8eef1b1893081 Git-Tag-Tagger: Stephane Glondu <steph@glondu.net> -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmqNgRoACgkQYG0ITkaD wHmmZw/+Piffk+Xt/LFcw+/oO0bC53yv1/tLfVSUnize9v/mENwqbRgiKE278CNV zPmyWDvJ+sb6u6OpWGxaHNGSmlAddI8NvBZH+15owsbyRt5Cly4GD+naD+ufmAnG julUIUtKgqY2dPlwMKpbrCNk89VaIKNIpeKNCwtNS/bQ5sjobsj8CWc9mBA4MX2h hA88xX5Zdvm00xjSbguJB4/iC7YoQzRxCXfLdNho2eBQUQUA40MpLojo40yYdDfu CQM7sI6pzcNy3/pHbFH9qXzFcGMr6+5qJAVMHV4tTq879UL9fAZQ8qjgn82xEhyS 6xMp1suo/qz3L37wHmGiU2xeCVGs16N9pdRs5WgIT2i5vTJpZR2JmVL55Vn9m0Fp dLtrCuThTAMlQtt0uQhMu9/2dBsn/7zH6pgHiI7fBpP975hdyuDhXpPpBtZXsz0T M2Kz/oqX4m/O7sqKHev+9yWx4d6/0bm5VY5/aetHEd/OqjnTLGYXPc9MxSL8Y1fV tERN8FBP3gIDuqQYRVjRFUA4YKjxSOdSoAJuqfRGCFcmsrE+WSoSjp9eM4Wt/ANb x8B/htrgc17IK0Eydqch6IdKzF16U1v/gRPCsSBmBsxrfA1i90RRs+pz0yxRJDK0 H6rJfU9DM9ev9egBoey1zKHFr/UozIxMYoZyQNoAQvlPgqQWdGA= =PONx -----END PGP SIGNATURE-----
