diff options
author | Benjamin Barenblat <bbaren@debian.org> | 2018-12-24 14:59:35 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@debian.org> | 2018-12-29 14:32:47 -0500 |
commit | 2ae19ac8e049d296cf5b714f6defd12e786224cf (patch) | |
tree | b74c394aaa40bb452a1ab55012cf7dad7efc61ba | |
parent | 2708a015fcf65f72328be4296a00dd32b1f1c17a (diff) |
Begin packaging 8.8.2
-rw-r--r-- | debian/changelog | 8 | ||||
-rw-r--r-- | debian/control | 1 |
2 files changed, 9 insertions, 0 deletions
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>, |