diff options
| author |  Benjamin Barenblat <bbaren@debian.org> | 2019-01-17 19:58:25 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@debian.org> | 2019-01-17 19:58:25 -0500 |
| commit | 5d3dc22cc205021e517a81943952655c51777083 (patch) | |
| tree | 4cfec21ee5ea97969480ac7d932c56e1dc8fb59f /debian/changelog | |
| parent | bac5683a8429042f04a0f60643f6f0d1983b7842 (diff) | |
Restore ssrmatching and its reverse dependencies
4181269ff800d58e60b886d0aaa2894444a9cd0d removed ssrmatching and
everything that needed it because upstream had shipped a couple of
files with bad license headers. Those files have now been fixed
(https://github.com/coq/coq/pull/9282), so grab them from master and
apply them in a patch. This restores ssrmatching to the Coq standard
library.
Once upstream cuts its next release, we should be able to delete the
patch and simply import the files from the upstream tarball.
Diffstat (limited to 'debian/changelog')
| -rw-r--r-- | debian/changelog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 295778b0..ff8582b8 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +coq (8.8.2-2) UNRELEASED; urgency=medium + + * Use freely licensed files from upstream to restore ssrmatching and reverse + dependencies. + + -- Benjamin Barenblat <bbaren@debian.org> Thu, 17 Jan 2019 17:10:25 -0500 + coq (8.8.2-1) unstable; urgency=medium * New upstream release (Closes: #910840) |