diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-07-04 12:14:10 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-07-04 13:28:54 +0200 |
| commit | d43a92cbe2dd9b90393698e98eb96104b14c04fa (patch) | |
| tree | 3c8fd3e6c014e147aab7f035ba029ba3ab30c0ea | |
| parent | 3a420f4ad929e8372d32c735fd0fd89dfc0346a1 (diff) | |
New Upstream Versiondebian/8.2.pl1+dfsg-1
| -rw-r--r-- | debian/changelog | 8 |
1 files changed, 8 insertions, 0 deletions
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 <steph@glondu.net> Sat, 04 Jul 2009 12:13:28 +0200 + coq (8.2-1+dfsg-2) unstable; urgency=low [ Samuel Mimram ] |