diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-08-12 16:38:34 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-08-12 16:38:34 +0200 |
| commit | dfb92f72bd3484d246cc241db865056393d39f47 (patch) | |
| tree | 92b4d273f067ab8ccf9c93bc2040f8ec77772673 | |
| parent | c7560b2873cbba06c8f4123e64cc42be979ab676 (diff) | |
Update debian/changelog
| -rw-r--r-- | debian/changelog | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 48d98bb9..92f7e994 100644 --- a/debian/changelog +++ b/debian/changelog @@ -16,8 +16,9 @@ coq (8.2~beta4+dfsg-1) UNRELEASED; urgency=low * [1c6c7c8] Bump Standards-Version to 3.8.0 * [38db629] Remove browser.dpatch and use --browser configure option * [9fd4621] Add use-env-in-coq-config.dpatch + * [c7560b2] Remove obsolete manpages (now shipped upstream) - -- Stephane Glondu <steph@glondu.net> Fri, 08 Aug 2008 23:18:56 +0200 + -- Stephane Glondu <steph@glondu.net> Tue, 12 Aug 2008 16:37:51 +0200 coq (8.1.pl3+dfsg-1) unstable; urgency=low |