Re: new upstream version for coq-doc

To: Hendrik Tews <hendrik@askra.de>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Re: new upstream version for coq-doc
From: Stéphane Glondu <glondu@debian.org>
Date: Thu, 13 Jul 2017 12:34:04 +0200
Message-id: <[🔎] d636a5ba-218d-22c4-dc60-9021a264fbbf@debian.org>
In-reply-to: <[🔎] 87r2xky9u8.fsf@elite.askra.de>
References: <[🔎] 87r2xky9u8.fsf@elite.askra.de>

On 13/07/2017 11:17, Hendrik Tews wrote:

I updated the coq-doc package to get it in sync with the coq
packages. Could somebody have a look and upload?


Uploaded. Sorry taking so much time...


Cheers,

--
Stéphane

Reply to:

References:
- new upstream version for coq-doc
  - From: Hendrik Tews <hendrik@askra.de>

Prev by Date: ocaml_4.02.3-10_amd64.changes ACCEPTED into unstable
Next by Date: Processing of coq-doc_8.6-1_amd64.changes
Previous by thread: new upstream version for coq-doc
Next by thread: Processing of ocaml_4.02.3-10_amd64.changes
Index(es):
- Date
- Thread