[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.beta4+dfsg-2-26-g52f2f3f

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 52f2f3f56bf017789616983ff8ba4f8eafcc4d3e
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Feb 2 09:40:28 2009 +0100

    Add NEWS and prepare upload

diff --git a/debian/NEWS b/debian/NEWS
new file mode 100644
index 0000000..87e9946
--- /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 at glondu.net>  Mon, 02 Feb 2009 09:48:03 +0100
diff --git a/debian/changelog b/debian/changelog
index 7187e3c..40227dd 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,15 +1,16 @@
-coq (8.2~rc2+dfsg-1) UNRELEASED; urgency=low
+coq (8.2~rc2+dfsg-1) experimental; urgency=low
 
   * New upstream release candidate
   * Bump debhelper compatibility level to 7
   * 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
+  * Rename package coq-libs to coq-theories to avoid confusion, and
+    add a NEWS file to document it
   * Add virtual coq-$ABI package, to express some ABI dependencies,
     and put $ABI in /usr/lib/coq/abi.
 
- -- Stephane Glondu <steph at glondu.net>  Sun, 01 Feb 2009 07:54:57 +0100
+ -- Stephane Glondu <steph at glondu.net>  Mon, 02 Feb 2009 09:23:42 +0100
 
 coq (8.2~beta4+dfsg-2) experimental; urgency=low
 

-- 
coq packaging