From 9603746faaccf85ee2e95570d2a0fb0a74a2aa1b Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Fri, 20 Feb 2009 13:26:24 +0100 Subject: Update changelog --- debian/changelog | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) (limited to 'debian/changelog') 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 Thu, 19 Feb 2009 13:54:38 +0100 + -- Stephane Glondu Fri, 20 Feb 2009 15:21:15 +0100 coq (8.2~rc2+dfsg-3) experimental; urgency=low -- cgit v1.2.3