diff options
Diffstat (limited to 'debian/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 |