Accepted coq 8.9.1-3 (source) into unstable
-----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-----