diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-02-20 13:26:24 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-02-20 15:21:22 +0100 |
| commit | 9603746faaccf85ee2e95570d2a0fb0a74a2aa1b (patch) | |
| tree | 12d89b2340d308b118ba819e283b29f16101358d | |
| parent | 500458bebd552145aa1a5eaa1a45fb3010680350 (diff) | |
Update changelog
| -rw-r--r-- | debian/changelog | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/debian/changelog b/debian/changelog index 9bf26525..61566020 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,13 +1,12 @@ coq (8.2-1+dfsg-1) UNRELEASED; urgency=low - [ Stephane Glondu ] * New Upstream Version + * Use variables and ocamlinit rule from dh-ocaml in rules + * Added coqvars.mk helper for coq-related packages, and remove + /usr/lib/coq/abi (its contents is now it the COQ_ABI variable) + * Remove dependency on dpatch - [ Samuel Mimram ] - * Use variables from dh-ocaml in rules. - * Added coqvars.mk helper for coq-related packages. - - -- Samuel Mimram <smimram@debian.org> Thu, 19 Feb 2009 13:54:38 +0100 + -- Stephane Glondu <steph@glondu.net> Fri, 20 Feb 2009 15:21:15 +0100 coq (8.2~rc2+dfsg-3) experimental; urgency=low |