diff options
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/debian/changelog b/debian/changelog index ff8582b8..451e241d 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,9 +1,8 @@ -coq (8.8.2-2) UNRELEASED; urgency=medium +coq (8.9.0-1) UNRELEASED; urgency=medium - * Use freely licensed files from upstream to restore ssrmatching and reverse - dependencies. + * New upstream release - -- Benjamin Barenblat <bbaren@debian.org> Thu, 17 Jan 2019 17:10:25 -0500 + -- Benjamin Barenblat <bbaren@debian.org> Sat, 02 Feb 2019 19:00:47 -0500 coq (8.8.2-1) unstable; urgency=medium |