summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/changelog5
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