diff options
Diffstat (limited to 'distrib/debian')
| -rw-r--r-- | distrib/debian/changelog | 3 |
1 files changed, 2 insertions, 1 deletions
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 <Judicael.Courant@lri.fr>. * 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). |