-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 24 Jan 2020 21:58:35 +0100 Source: coq Architecture: source Version: 8.9.1-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Closes: 920589 946580 Changes: coq (8.9.1-3) unstable; urgency=medium . * Reactive building of coqide (closes: #920589) - put back the coqide paragraph in debian/control - coq suggests coqide as an alternative to proofgeneral - mention coqide in the long description of coq - put back debian/coqide.{1,desktop,dirs,install,links.in} from version 8.6-5 * Move coqidetop from the coqide package to the coq package (closes: #946580) * Generate html pages for the stdlib using HTMLSTYLE=simple, to avoid linking to external stylesheets * Add lintian-overrides for filenames containing wildcard characters in package coq-theories * Build-depend on debhelper-compat, drop file debian/compat * Debhelper compatibility level 11 - debian/rules: use "dh_missing --fail-missing" instead of "dh_install --fail-missing" * Standards-Version 4.5.0 (no change) Checksums-Sha1: 1dbda7a9cfdec2e11a000577e3732caa2259bf25 2438 coq_8.9.1-3.dsc 82d567c6c7249e68f9331960f01ebfb702df8208 31220 coq_8.9.1-3.debian.tar.xz b4b1e4e8e3e4b2437672c72594a5dafb523aec75 13798 coq_8.9.1-3_source.buildinfo Checksums-Sha256: d62f79f84ebbffdd6a765abb3bb9ef61d2fd34fa3648ab8e656022b0e95c1874 2438 coq_8.9.1-3.dsc 3b01d7a539c294d1b339d82594741356b3b5f4e90dca748ee7bcf778f9d90df4 31220 coq_8.9.1-3.debian.tar.xz 9d03fcfc7118bf683569fb4dcdd0879c70c84e28a65911ac891b2fcde859181f 13798 coq_8.9.1-3_source.buildinfo Files: c3595cebcdaeb4064b8eea8cc67b1403 2438 math optional coq_8.9.1-3.dsc 5c684d69c5eb16d1ba2f4f1ebc9fd3ec 31220 math optional coq_8.9.1-3.debian.tar.xz d9cc2cf353f567dcf2e00b39e30f93a0 13798 math optional coq_8.9.1-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl4ra0gACgkQdFxHZtTK zf8vxQ/+MULbb1D3Vl5ATJqeWPRtU+Wrs9fzVP2qVS+DKpNsfwydwHqueWxmZMC+ Nj8D6b8f6Iw6RhQJsKeYz0+67i/E6f//fxYp1h1BicU3KBFwAFQSSmx8Btft5N6B RgUOHAkjiUlpXZxzA/TuVoPGf/GKX5RHQhSWQ5PpJBSNe0m7FNS9/axEpnFgyfAE YL7MLdDCgWdyfMWdX3N6wwK9gCG9BFPHDmhO3PMYwv//SI37JPRkEdyIQYoZc3S0 Xv+U2Yz0YTfOirO1I2BLjkuu7AKze7d066169YxJOPtzecc7E7gxGb4WrPeDbx1q aHsvvWlCFimMejgluEs4pSftYKUI29xSYQ8tYCiX58KOzmzC7f6QqwKUGUb/2l4M EpBas4+5cBb+KDDueKMWLyD5VaeCCxBFGOH6vjrLjM/ZORTHFDObxV21NtxZLaTz sVxMy8074YZY0jYpvLStaP/G89rNCrUSCZQwFD2vp5ZfURuLqBea3vX4vz83qn0/ LQGf7O1myALLFMgNSbK9eYRQ9Thc7PV3c0QPo6I4IqaKMWSEyusx6hUoAsSu2jUK 1fYWHQXM7dKw8ZTIO1S55xIttTi9qq2KXMJPE4zH4RpljeyLEg7ITRGRuxUbV9Hj +vivUlF0cNPtt0UKzflD+QqflbpTy4b7FvbzazmF5/g93rGuIbo= =QJj+ -----END PGP SIGNATURE-----
