1 files changed, 7 insertions, 0 deletions
diff --git a/debian/NEWS b/debian/NEWS
new file mode 100644
index 00000000..87e99468
--- /dev/null
+++ b/debian/NEWS
@@ -0,0 +1,7 @@
+coq (8.2~rc2+dfsg-1) experimental; urgency=low
+
+  * The Coq library for programming in OCaml is now in its own binary
+    package, libcoq-ocaml-dev, along with coqmktop. The theories have
+    been moved from coq-libs to the more expressive name coq-theories.
+
+ -- Stephane Glondu <steph@glondu.net>  Mon, 02 Feb 2009 09:48:03 +0100