diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-02-01 00:37:52 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-02-01 01:21:50 +0100 |
| commit | cc283f208ee5b4c917566f591386d9c6e117a7da (patch) | |
| tree | 74e5110ad883a8f49bf09e76c58715e8920a2da9 | |
| parent | adb4654be3cf65fcdcf91845822ce4af0de669d1 (diff) | |
Update changelog
| -rw-r--r-- | debian/changelog | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/debian/changelog b/debian/changelog index dc614724..c99bef85 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,11 +1,12 @@ coq (8.2~rc2+dfsg-1) UNRELEASED; urgency=low * New upstream release candidate - * [cdce320] Bump debhelper compatibility level to 7 - * [b6db9f4] Remove obsolete patches - * [d8e4082] Use debhelper 7, simplify debian/rules (Closes: #436684) + * Bump debhelper compatibility level to 7 + * Remove obsolete patches + * Use debhelper 7, simplify debian/rules (Closes: #436684) + * Add binary package libcoq-ocaml-dev - -- Stephane Glondu <steph@glondu.net> Sat, 31 Jan 2009 17:07:39 +0100 + -- Stephane Glondu <steph@glondu.net> Sun, 01 Feb 2009 00:36:46 +0100 coq (8.2~beta4+dfsg-2) experimental; urgency=low |