Bug#864468: coq-doc: outdated version

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#864468: coq-doc: outdated version
From: Andreas Beckmann <anbe@debian.org>
Date: Fri, 09 Jun 2017 08:12:15 +0200
Message-id: <[🔎] 20170609061215.1316.97378.reportbug@zam581.zam.kfa-juelich.de>
Reply-to: Andreas Beckmann <anbe@debian.org>, 864468@bugs.debian.org

Package: coq-doc
Version: 8.4pl4-2
Severity: important

Hi,

this package looks outdated compared to coq 8.6-4 in stretch/sid.


Andreas

Reply to: