[Pkg-haskell-maintainers] Bug#736272: Bug#736272: agda-mode binary is in /usr/share/doc/agda-mode, should be in /usr/bin
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: 220.127.116.11-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.
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...
Size: 836 bytes
Desc: Digital signature
More information about the Pkg-haskell-maintainers