Trim trailing whitespace.
Changes-By: lintian-brush
Fixes: lintian: trailing-whitespace
See-also: https://lintian.debian.org/tags/trailing-whitespace.html
Jenkins
2 years ago
| 0 | coq (8.12.0-4) UNRELEASED; urgency=medium | |
| 1 | ||
| 2 | * Trim trailing whitespace. | |
| 3 | ||
| 4 | -- Debian Janitor <janitor@jelmer.uk> Sun, 18 Jul 2021 01:42:06 -0000 | |
| 5 | ||
| 0 | 6 | coq (8.12.0-3) unstable; urgency=medium |
| 1 | 7 | |
| 2 | 8 | * Upload to unstable |
| 111 | 117 | reproducibility. Based on a patch by Valentin Lorentz (thanks!) |
| 112 | 118 | (closes: #794130). |
| 113 | 119 | * Reactivate building of coqide (closes: #920589, #946580) |
| 114 | - put back the coqide paragraph in debian/control | |
| 120 | - put back the coqide paragraph in debian/control | |
| 115 | 121 | - bump build-dependencies on lablgtk to version 3 |
| 116 | 122 | - coq suggests coqide as an alternative to proofgeneral |
| 117 | 123 | - mention coqide in the long description of coq |