diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-02-02 09:40:28 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-02-02 09:48:16 +0100 |
| commit | 52f2f3f56bf017789616983ff8ba4f8eafcc4d3e (patch) | |
| tree | c2e5170b1d4a143174e224e581f9d39956b0dda4 | |
| parent | 14dc709ea517e2f7e1ff7df63deb42c009aa044d (diff) | |
Add NEWS and prepare upload
| -rw-r--r-- | debian/NEWS | 7 | ||||
| -rw-r--r-- | debian/changelog | 7 |
2 files changed, 11 insertions, 3 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 diff --git a/debian/changelog b/debian/changelog index 7187e3c5..40227ddc 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@glondu.net> Sun, 01 Feb 2009 07:54:57 +0100 + -- Stephane Glondu <steph@glondu.net> Mon, 02 Feb 2009 09:23:42 +0100 coq (8.2~beta4+dfsg-2) experimental; urgency=low |