Your message dated Mon, 24 Aug 2015 21:41:16 +0200
with message-id <20150824214116.13a50147@laptop>
and subject line closing this
has caused the Debian Bug report #736272,
regarding agda-mode binary is in /usr/share/doc/agda-mode, should be in /usr/bin
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.)
--
736272: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=736272
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: agda-mode
Version: 2.3.0.1-1build2
Severity: important
Dear Maintainer,
After installing agda-mode with 'sudo apt-get install agda-mode', I have an
agda-mode binary in /usr/share/doc/agda-mode, which is not in PATH by default.
It should instead be in /usr/bin or similar, so that it is picked up via PATH.
-- System Information:
Debian Release: wheezy/sid
APT prefers precise-updates
APT policy: (500, 'precise-updates'), (500, 'precise-security'), (500,
'precise'), (100, 'precise-backports')
Architecture: amd64 (x86_64)
Kernel: Linux 3.8.0-34-generic (SMP w/1 CPU core)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages agda-mode depends on:
ii emacs [emacsen] 23.3+1-1ubuntu9.2
ii emacs23 [emacsen] 23.3+1-1ubuntu9.2
ii haskell-mode 2.8.0-1
ii libghc-agda-dev 2.3.0.1-1build2
agda-mode recommends no packages.
agda-mode suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
I'm closing this, as the binary in question isn't in agda-mode and is
not found by packages.debian.org and there was no answer to this report
in a long time.
If someone feels, like this report still applies, feels free to reopen.
Regards
Sven
--- End Message ---
