diff options
Diffstat (limited to 'distrib/debian/changelog')
-rw-r--r-- | distrib/debian/changelog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/distrib/debian/changelog b/distrib/debian/changelog index 78ae789d1..9ceea643a 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). |