diff options
| author |  Benjamin Barenblat <bbaren@debian.org> | 2019-01-06 23:07:29 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@debian.org> | 2019-01-06 23:07:29 -0500 |
| commit | 11d2b496980a65ac1059b72275480d572634d13f (patch) | |
| tree | eac9588ad5352c606136d24ff26c767271197163 | |
| parent | 2ea9e7570cb7f02ebd746b43487bf37b2889038b (diff) | |
Release 8.8.2-1 for unstabledebian/8.8.2-1
| -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 |