Changelog
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)
-- Ralf Treinen <email address hidden> Fri, 24 Jan 2020 21:58:35 +0100
