diff options
Diffstat (limited to 'debian/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 |