From 1cbe7239b95f37e6a8b72779d2022260c13680f3 Mon Sep 17 00:00:00 2001
From: courant
Date: Fri, 21 Dec 2001 13:12:00 +0000
Subject: preparation V7.2

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2361 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/debian/changelog | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/distrib/debian/changelog b/distrib/debian/changelog
index 78ae789d13..9ceea643a8 100644
--- a/distrib/debian/changelog
+++ b/distrib/debian/changelog
@@ -1,3 +1,9 @@
+coq (7.2-1) unstable; urgency=low
+  * New upstream version.
+
+ -- Judicaël Courant <Judicael.Courant@lri.fr>  Fri, 21 Dec 2001 14:10:31 +0200
+
+
 coq (7.1-2) unstable; urgency=low
 
   * Fixed policy problem (conf files).
-- 
cgit v1.2.3