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

Jason Gross jgross at MIRRORS.MIT.EDU
Tue Jan 21 19:27:33 UTC 2014

Package: agda-mode
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

agda-mode recommends no packages.

agda-mode suggests no packages.

-- no debconf information

More information about the Pkg-haskell-maintainers mailing list