revert DH compat level to 11
Ralf Treinen
4 years ago
| 37 | 37 | * Generate html pages for the stdlib using HTMLSTYLE=simple, to avoid |
| 38 | 38 | linking to external stylesheets |
| 39 | 39 | * Build-depend on debhelper-compat, drop file debian/compat |
| 40 | * Debhelper compatibility level 12 | |
| 40 | * Debhelper compatibility level 11 | |
| 41 | 41 | - debian/rules: use "dh_missing --fail-missing" instead of |
| 42 | 42 | "dh_install --fail-missing" |
| 43 | 43 | * Standards-Version 4.4.1 (no change) |
| 50 | 50 | - drop plugins/ssrmatching/g_ssrmatching.mli from the filter as |
| 51 | 51 | upstream has fixed its license. |
| 52 | 52 | |
| 53 | -- Ralf Treinen <treinen@debian.org> Sun, 22 Dec 2019 16:13:35 +0100 | |
| 53 | -- Ralf Treinen <treinen@debian.org> Wed, 01 Jan 2020 20:25:21 +0100 | |
| 54 | 54 | |
| 55 | 55 | coq (8.9.1-1) unstable; urgency=medium |
| 56 | 56 | |