diff options
author | Stephane Glondu <steph@glondu.net> | 2009-07-01 18:37:55 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2009-07-01 18:39:26 +0200 |
commit | 17b364613aa7bc04dfdac3efd47e4059afc3ac57 (patch) | |
tree | cbb80b98eb6d3f94e038c2974f198c935dfe0396 /debian/changelog | |
parent | ae5c9a4fe4940b9f094d41abc3cfabddf08e7f70 (diff) |
Prepare upload to unstabledebian/8.2-1+dfsg-2
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index a83f6cb0..11d3c53a 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,4 +1,4 @@ -coq (8.2-1+dfsg-2) UNRELEASED; urgency=low +coq (8.2-1+dfsg-2) unstable; urgency=low [ Samuel Mimram ] * Remove upstream url from long descriptions since we already use the @@ -8,8 +8,13 @@ coq (8.2-1+dfsg-2) UNRELEASED; urgency=low [ Stephane Glondu ] * Remove suggestion on package cle (which has been removed), use readline-editor instead + * Recompile with OCaml 3.11.1 (Closes: #535320) + * Add versioned dependencies to camlp5 and liblablgtk2-ocaml-dev to + ease OCaml 3.11.1 transition + * Move libcoq-ocaml-dev to section ocaml + * Update Standards-Version to 3.8.2 - -- Stephane Glondu <steph@glondu.net> Mon, 27 Apr 2009 18:07:12 +0200 + -- Stephane Glondu <steph@glondu.net> Wed, 01 Jul 2009 17:41:55 +0200 coq (8.2-1+dfsg-1) unstable; urgency=low |