Trim trailing whitespace.
Changes-By: lintian-brush
Fixes: lintian: trailing-whitespace
See-also: https://lintian.debian.org/tags/trailing-whitespace.html
Debian Janitor
2 years ago
| 0 | 0 | coq (8.12.0-3.1) UNRELEASED; urgency=medium |
| 1 | 1 | |
| 2 | [ Julien Puydt ] | |
| 2 | 3 | * Non-maintainer upload. |
| 3 | 4 | * Drop retired Enrico Tassi from uploaders (Closes: #995543). |
| 5 | ||
| 6 | [ Debian Janitor ] | |
| 7 | * Trim trailing whitespace. | |
| 4 | 8 | |
| 5 | 9 | -- Julien Puydt <jpuydt@debian.org> Tue, 02 Nov 2021 20:47:56 +0100 |
| 6 | 10 | |
| 118 | 122 | reproducibility. Based on a patch by Valentin Lorentz (thanks!) |
| 119 | 123 | (closes: #794130). |
| 120 | 124 | * Reactivate building of coqide (closes: #920589, #946580) |
| 121 | - put back the coqide paragraph in debian/control | |
| 125 | - put back the coqide paragraph in debian/control | |
| 122 | 126 | - bump build-dependencies on lablgtk to version 3 |
| 123 | 127 | - coq suggests coqide as an alternative to proofgeneral |
| 124 | 128 | - mention coqide in the long description of coq |