diff options
| author |  Stephane Glondu <steph@glondu.net> | 2010-02-10 09:20:56 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2010-02-10 09:26:44 +0100 |
| commit | 9c1344f1390bc86887ef1a39b46ef12e896e2399 (patch) | |
| tree | 941665660b142915ad0c3a2932f6394409a502f9 /debian/NEWS | |
| parent | 39cc8d15c2b2fecf6cd67376e5e7df42a98ba132 (diff) | |
Make NEWS file Lintian-friendly
Diffstat (limited to 'debian/NEWS')
| -rw-r--r-- | debian/NEWS | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/debian/NEWS b/debian/NEWS index 87e99468..b0d1db54 100644 --- a/debian/NEWS +++ b/debian/NEWS @@ -1,7 +1,8 @@ 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. + 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. + + -- Stéphane Glondu <glondu@debian.org> Mon, 02 Feb 2009 09:48:03 +0100 - -- Stephane Glondu <steph@glondu.net> Mon, 02 Feb 2009 09:48:03 +0100 |