Your message dated Thu, 07 Jan 2010 19:47:19 +0000
with message-id <[email protected]>
and subject line Bug#559197: fixed in agda 2.2.6-1
has caused the Debian Bug report #559197,
regarding Stray 50agda.el file left around after package removal causes emacs
errors (was: Re: The agda-mode package)
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 this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
559197: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=559197
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: agda-mode
Severity: minor
Version: 2.2.4+dfsg-1
Owner: [email protected]
Hi,
[re: /etc/.../50agda.el being left around after a remove]
On Wed, Dec 02, 2009 at 05:28:18PM +0000, Nils Anders Danielsson wrote:
On 2009-12-02 17:16, Iain Lane wrote:
That's the behaviour dictated by Debian policy. All files installed into
/etc, which must include emacs site-start files, are required to be
modifiable by system administrators. It then follows naturally that
`remove' should not remove these configuration files, only `purge'. Hope
this explains the situation.
If you do not remove this file you get (non-critical) errors when
starting Emacs:
Error while loading 50agda: Cannot open load file:
/usr/share/emacs/site-lisp/agda/agda2.el
This error also seems to be printed every time another Emacs package is
installed.
This error is not exhibited by the Haskell mode, even though
50haskell-mode.el is not deleted. Perhaps we should follow the approach
taken by the haskell-mode installer.
A new version of Agda will be released any day now, by the way.
Ah, that's obviously a bug then. I'll forward to the Debian BTS for
tracking. Thanks.
Iain
--- End Message ---
--- Begin Message ---
Source: agda
Source-Version: 2.2.6-1
We believe that the bug you reported is fixed in the latest version of
agda, which is due to be installed in the Debian FTP archive:
agda-mode_2.2.6-1_all.deb
to main/a/agda/agda-mode_2.2.6-1_all.deb
agda_2.2.6-1.diff.gz
to main/a/agda/agda_2.2.6-1.diff.gz
agda_2.2.6-1.dsc
to main/a/agda/agda_2.2.6-1.dsc
agda_2.2.6.orig.tar.gz
to main/a/agda/agda_2.2.6.orig.tar.gz
haskell-agda-doc_2.2.6-1_all.deb
to main/a/agda/haskell-agda-doc_2.2.6-1_all.deb
libghc6-agda-dev_2.2.6-1_amd64.deb
to main/a/agda/libghc6-agda-dev_2.2.6-1_amd64.deb
libghc6-agda-prof_2.2.6-1_amd64.deb
to main/a/agda/libghc6-agda-prof_2.2.6-1_amd64.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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Iain Lane <[email protected]> (supplier of updated agda 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 05 Jan 2010 23:43:20 +0000
Source: agda
Binary: libghc6-agda-dev libghc6-agda-prof haskell-agda-doc agda-mode
Architecture: source all amd64
Version: 2.2.6-1
Distribution: unstable
Urgency: low
Maintainer: Debian Haskell Group
<[email protected]>
Changed-By: Iain Lane <[email protected]>
Description:
agda-mode - the emacs mode for Agda
haskell-agda-doc - a dependently typed functional programming language -
documentati
libghc6-agda-dev - a dependently typed functional programming language -
development
libghc6-agda-prof - a dependently typed functional programming language -
profiling l
Closes: 559197
Changes:
agda (2.2.6-1) unstable; urgency=low
.
* New upstream release 2.2.6, for headlines please see:
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-2-6
* debian/control
+ Bump standards-version to 3.8.3, no changes
+ Fix Vcs-Git to point to correct URL
+ Update build-depends for new upstream release
+ Undo arch/indep split per current pkg-haskell practice
+ Add Homepage field
* debian/copyright: Fix encoding to UTF-8 (thanks Lintian)
* debian/README.source: Remove, no repacking so not necessary any more
* debian/50agda.el:
+ Only load file if it exists, prevents a non-intrusive emacs warning
where 50agda.el is left on system when package is removed.
(Closes: #559197).
+ Do not load file on XEmacs — agda-mode is not compatible with XEmacs.
Checksums-Sha1:
6af349668666d662c0062ccc671c3a30734626d9 3030 agda_2.2.6-1.dsc
26764e0ff96fe730e4ec423a7ea365dec3d4d642 424382 agda_2.2.6.orig.tar.gz
4db48e41bf4b2decf05657614b5a571deb6ece3a 4161 agda_2.2.6-1.diff.gz
f8b26715e3894864a18810a82a89a2b0e7c4ad29 1102580
haskell-agda-doc_2.2.6-1_all.deb
df275fac46b24baad3520c07b6ca1321e169c30f 38994 agda-mode_2.2.6-1_all.deb
a5197a46c11a272c4388dd2454e7ce9a6f73a62f 11194138
libghc6-agda-dev_2.2.6-1_amd64.deb
a4ad1820ff01c735e9fe3a4963530ccf8c57886d 14586798
libghc6-agda-prof_2.2.6-1_amd64.deb
Checksums-Sha256:
a660730310b4eb96721d4ec07f4e75acd525524650a227905b7ba832d9fdc43a 3030
agda_2.2.6-1.dsc
19ecdd8e25c3eb3f8903ca8ef4057ba71fd49cfbc9ee2bbc44feba2c1566864e 424382
agda_2.2.6.orig.tar.gz
d01fc532dcf3a7f42dce422e88f11d6fdfa83e9ed2b37e23be4a458ba5873be8 4161
agda_2.2.6-1.diff.gz
d0f9a26cb7e4ac4e9be6f44ccdab70d1fc4020877d76bd51377e84c4c38b0613 1102580
haskell-agda-doc_2.2.6-1_all.deb
bb6b8ef1bce26d978e282b0272d17f4431dbb6477670fe5a906a90f92ff5df40 38994
agda-mode_2.2.6-1_all.deb
9d930975dc9862c045ec73fd40c5991619a74c0664e9f763894ab840dc991374 11194138
libghc6-agda-dev_2.2.6-1_amd64.deb
4ba5f30fcb369cbe0220275f5a57214d022a3266c5753b0e78acbbb1655b330a 14586798
libghc6-agda-prof_2.2.6-1_amd64.deb
Files:
b4f2ecf5d2816a3da465cf9c35e16133 3030 haskell optional agda_2.2.6-1.dsc
0ce3c91e3a917f2c9b919eed46a530b2 424382 haskell optional agda_2.2.6.orig.tar.gz
c5bc5bb308be0d3af14ddb19718ec02a 4161 haskell optional agda_2.2.6-1.diff.gz
f836861623e1d90d67d6855fcdd1f1e8 1102580 doc optional
haskell-agda-doc_2.2.6-1_all.deb
1308d9e9cc7027a06018bcb697b84a58 38994 misc optional agda-mode_2.2.6-1_all.deb
e065b49c746ce7768b134810b96c235a 11194138 haskell optional
libghc6-agda-dev_2.2.6-1_amd64.deb
7a845050b1fc13e352cd46a48a41b45c 14586798 haskell optional
libghc6-agda-prof_2.2.6-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAktGN0kACgkQ9ijrk0dDIGyxeQCgp39zHB/rH20SM9PklSNdbO7e
wBYAoMMbsyxrv4y1dqyEu+e21iTU99tt
=Pigs
-----END PGP SIGNATURE-----
--- End Message ---
