diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-02-01 07:36:03 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-02-01 11:47:49 +0100 |
| commit | 14dc709ea517e2f7e1ff7df63deb42c009aa044d (patch) | |
| tree | 6ab7cdfe4c2cd7d5a75b802000a10e1b40ce9872 | |
| parent | 3300be3e0a6ab9ff1ba46e7139aafa4a743cbe57 (diff) | |
Update changelog
| -rw-r--r-- | debian/changelog | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index c99bef85..7187e3c5 100644 --- a/debian/changelog +++ b/debian/changelog @@ -5,8 +5,11 @@ coq (8.2~rc2+dfsg-1) UNRELEASED; urgency=low * Remove obsolete patches * Use debhelper 7, simplify debian/rules (Closes: #436684) * Add binary package libcoq-ocaml-dev + * Rename package coq-libs to coq-theories to avoid confusion + * Add virtual coq-$ABI package, to express some ABI dependencies, + and put $ABI in /usr/lib/coq/abi. - -- Stephane Glondu <steph@glondu.net> Sun, 01 Feb 2009 00:36:46 +0100 + -- Stephane Glondu <steph@glondu.net> Sun, 01 Feb 2009 07:54:57 +0100 coq (8.2~beta4+dfsg-2) experimental; urgency=low |