From d43a92cbe2dd9b90393698e98eb96104b14c04fa Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sat, 4 Jul 2009 12:14:10 +0200 Subject: New Upstream Version --- debian/changelog | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/debian/changelog b/debian/changelog index 11d3c53a..96924447 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,11 @@ +coq (8.2.pl1+dfsg-1) unstable; urgency=low + + * New Upstream Version + * debian/purify_tarball: keep some files from doc/common/styles/html + needed for HTML API doc generation + + -- Stephane Glondu Sat, 04 Jul 2009 12:13:28 +0200 + coq (8.2-1+dfsg-2) unstable; urgency=low [ Samuel Mimram ] -- cgit v1.2.3