From 2ae19ac8e049d296cf5b714f6defd12e786224cf Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Mon, 24 Dec 2018 14:59:35 -0500
Subject: Begin packaging 8.8.2

---
 debian/changelog | 8 ++++++++
 debian/control   | 1 +
 2 files changed, 9 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index a0b424eb..25a70fbb 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+coq (8.8.2-1) UNRELEASED; urgency=medium
+
+  * New upstream release (Closes: #910840)
+  * Add Benjamin Barenblat to uploaders
+  * Update debian/watch for upstream's transition to GitHub (Closes: #902903)
+
+ -- Benjamin Barenblat <bbaren@debian.org>  Mon, 24 Dec 2018 14:56:15 -0500
+
 coq (8.6-5) unstable; urgency=medium
 
   * Recompile with OCaml 4.05.0
diff --git a/debian/control b/debian/control
index 3c9f1ccd..4d336aa2 100644
--- a/debian/control
+++ b/debian/control
@@ -3,6 +3,7 @@ Section: math
 Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Uploaders:
+ Benjamin Barenblat <bbaren@debian.org>,
  Ralf Treinen <treinen@debian.org>,
  Samuel Mimram <smimram@debian.org>,
  Stéphane Glondu <glondu@debian.org>,
-- 
cgit v1.2.3