[Pkg-haskell-maintainers] Bug#736272: Bug#736272: agda-mode binary is in /usr/share/doc/agda-mode, should be in /usr/bin

Iain Lane laney at debian.org
Wed Jan 22 09:17:05 UTC 2014

On Tue, Jan 21, 2014 at 02:27:33PM -0500, Jason Gross wrote:
> Package: agda-mode
> Version:
> 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.

What binary? Please show me `dpkg -L agda-mode'.

Iain Lane                                  [ iain at orangesquash.org.uk ]
Debian Developer                                   [ laney at debian.org ]
Ubuntu Developer                                   [ laney at ubuntu.com ]
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: Digital signature
URL: <http://lists.alioth.debian.org/pipermail/pkg-haskell-maintainers/attachments/20140122/05b389e0/attachment.sig>

More information about the Pkg-haskell-maintainers mailing list