From 8680aa0f0bfb5d258a05f4754ee1213ec0e5da9e Mon Sep 17 00:00:00 2001 From: courant Date: Wed, 25 Apr 2001 13:01:41 +0000 Subject: modif pour RPM et Debian git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1715 85f007b7-540e-0410-9357-904b9bb8a0f7 --- distrib/debian/changelog | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'distrib/debian') diff --git a/distrib/debian/changelog b/distrib/debian/changelog index 789b524e69..65d7fa05fb 100644 --- a/distrib/debian/changelog +++ b/distrib/debian/changelog @@ -1,8 +1,9 @@ -coq (7.0.0-1) unstable; urgency=low +coq (7.0-1) unstable; urgency=low * New maintainer Judicaël Courant . * New upstream version. * Added Build-Depends (closes: Bug#70273). * Cleaned up dependencies. + * emacs mode installation now follows Emacs policy. * Made compilation non-interactive (closes: Bug#92461). -- cgit v1.2.3