Bug#446170: marked as done (Confused by filenames with newlines)
Your message dated Mon, 15 Oct 2007 20:47:08 +0000
with message-id <E1IhWqC-0005Zj-DF@ries.debian.org>
and subject line Bug#446170: fixed in coq 8.1.pl2+dfsg-1
has caused the attached Bug report to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--- Begin Message ---
Package: coq
Version: 8.1.pl1+dfsg-3
Severity: minor
File: /etc/emacs/site-start.d/50coq.el
Tags: patch
In /etc/emacs/site-start.d/50coq.el,
(setq auto-mode-alist (cons '("\\.v$" . coq-mode) auto-mode-alist))
should read
(setq auto-mode-alist (cons '("\\.v\\'" . coq-mode) auto-mode-alist))
--- End Message ---
--- Begin Message ---
Source: coq
Source-Version: 8.1.pl2+dfsg-1
We believe that the bug you reported is fixed in the latest version of
coq, which is due to be installed in the Debian FTP archive:
coq-libs_8.1.pl2+dfsg-1_all.deb
to pool/main/c/coq/coq-libs_8.1.pl2+dfsg-1_all.deb
coq_8.1.pl2+dfsg-1.diff.gz
to pool/main/c/coq/coq_8.1.pl2+dfsg-1.diff.gz
coq_8.1.pl2+dfsg-1.dsc
to pool/main/c/coq/coq_8.1.pl2+dfsg-1.dsc
coq_8.1.pl2+dfsg-1_i386.deb
to pool/main/c/coq/coq_8.1.pl2+dfsg-1_i386.deb
coq_8.1.pl2+dfsg.orig.tar.gz
to pool/main/c/coq/coq_8.1.pl2+dfsg.orig.tar.gz
coqide_8.1.pl2+dfsg-1_i386.deb
to pool/main/c/coq/coqide_8.1.pl2+dfsg-1_i386.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 446170@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Samuel Mimram <smimram@debian.org> (supplier of updated coq package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 15 Oct 2007 18:55:09 +0000
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1.pl2+dfsg-1
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
Closes: 446170
Changes:
coq (8.1.pl2+dfsg-1) experimental; urgency=low
.
* New upstream release.
* Removed camlp5.dpatch, integrated upstream.
* Updated browser.dpatch, coqdoc_stdlib.dpatch and makefile.dpatch.
* Corrected emacs-mode startup file, closes: #446170.
* Removed Sven Luther from uploaders.
Files:
d74467e3561d9ce6f01c0a918eb8d2b9 1064 math optional coq_8.1.pl2+dfsg-1.dsc
7fefdeb0c55cbf9668b7bb9ba2a4a0db 2526089 math optional coq_8.1.pl2+dfsg.orig.tar.gz
e41f92555929766a03534430d965930a 15078 math optional coq_8.1.pl2+dfsg-1.diff.gz
1caa8f45479cfd1245048bc2bac0438e 12593252 math optional coq-libs_8.1.pl2+dfsg-1_all.deb
3f71045cbb6b7d732a2c76efeec2cb81 7758514 math optional coq_8.1.pl2+dfsg-1_i386.deb
25e5c45f687fac6e6b8b290c304588d3 4892854 math optional coqide_8.1.pl2+dfsg-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHE8WQIae1O4AJae8RAlzIAJ9WeowmJ84Kg5MaSQdFetN5Che43QCeNSuG
7+VqaXH32pngiyvzsEX3IF8=
=KlmU
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: