The following commit has been merged in the master branch: commit d43a92cbe2dd9b90393698e98eb96104b14c04fa Author: Stephane Glondu <st...@glondu.net> Date: Sat Jul 4 12:14:10 2009 +0200
New Upstream Version diff --git a/debian/changelog b/debian/changelog index 11d3c53..9692444 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,11 @@ +coq (8.2.pl1+dfsg-1) unstable; urgency=low + + * New Upstream Version + * debian/purify_tarball: keep some files from doc/common/styles/html + needed for HTML API doc generation + + -- Stephane Glondu <st...@glondu.net> Sat, 04 Jul 2009 12:13:28 +0200 + coq (8.2-1+dfsg-2) unstable; urgency=low [ Samuel Mimram ] -- coq packaging _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits