From 11d2b496980a65ac1059b72275480d572634d13f Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sun, 6 Jan 2019 23:07:29 -0500 Subject: Release 8.8.2-1 for unstable --- debian/changelog | 4 ++-- 1 file 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 Mon, 24 Dec 2018 14:56:15 -0500 + -- Benjamin Barenblat Sun, 06 Jan 2019 23:07:04 -0500 coq (8.6-5) unstable; urgency=medium -- cgit v1.2.3