diff options
| author |  courant <courant@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-12-21 13:12:00 +0000 |
|---|---|---|
| committer | courant <courant@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-12-21 13:12:00 +0000 |
| commit | 1cbe7239b95f37e6a8b72779d2022260c13680f3 (patch) | |
| tree | 5be9baf09ece6c24577c464acad1604d096bf146 /distrib/debian | |
| parent | 36c5fed3457e51adc6481826bfd74e7d1f73d274 (diff) | |
preparation V7.2
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2361 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib/debian')
| -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). |