On Tue, Jan 21, 2014 at 02:27:33PM -0500, Jason Gross wrote:
> 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
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
2 matches
Mail list logo