diff options
| -rw-r--r-- | debian/changelog | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index 7d41c67b..295778b0 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,4 +1,4 @@ -coq (8.8.2-1) UNRELEASED; urgency=medium +coq (8.8.2-1) unstable; urgency=medium * New upstream release (Closes: #910840) * Add Benjamin Barenblat to uploaders @@ -6,7 +6,7 @@ coq (8.8.2-1) UNRELEASED; urgency=medium * Stop distributing CoqIDE (Closes: #916369) * coqmktop(1) has been deleted; users should migrate to ocamlfind(1) - -- Benjamin Barenblat <bbaren@debian.org> Mon, 24 Dec 2018 14:56:15 -0500 + -- Benjamin Barenblat <bbaren@debian.org> Sun, 06 Jan 2019 23:07:04 -0500 coq (8.6-5) unstable; urgency=medium |