diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-08-08 23:20:12 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-08-08 23:20:12 +0200 |
| commit | 331f53499e751f658e32e2beb98336f454c5c0c2 (patch) | |
| tree | 00d021e9aac08ef9c59d4c0955203b085e8e0de5 | |
| parent | ff20e3e9f517cba61a94103d62e284b214fe4d30 (diff) | |
Update debian/changelog
| -rw-r--r-- | debian/changelog | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 10148c51..48d98bb9 100644 --- a/debian/changelog +++ b/debian/changelog @@ -14,8 +14,10 @@ coq (8.2~beta4+dfsg-1) UNRELEASED; urgency=low * [c89cb94] Add Homepage field * [7dd7c53] Add debian/README.source * [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 - -- Stephane Glondu <steph@glondu.net> Fri, 08 Aug 2008 13:19:03 +0200 + -- Stephane Glondu <steph@glondu.net> Fri, 08 Aug 2008 23:18:56 +0200 coq (8.1.pl3+dfsg-1) unstable; urgency=low |