Package - elpa-agda2-mode

Package:  elpa-agda2-mode
apt-get install elpa-agda2-mode
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/a/agda/elpa-agda2-mode_2.6.4.3-1_all.deb (Size: 50.1KiB)

PropertyValue
Packageelpa-agda2-mode
Sourceagda
Version2.6.4.3-1
Installed-Size211
MaintainerDebian Haskell Group
Architectureall
Dependsagda-bin (<< 2.6.4.3-1.1~), agda-bin (>= 2.6.4.3-1), libghc-agda-dev (<< 2.6.4.3-1.1~), libghc-agda-dev (>= 2.6.4.3-1), dh-elpa-helper, emacsen-common
Recommendsemacs (>= 46.0)
Enhancesemacs, emacs24
Descriptiondependently typed functional programming language — emacs mode
Description-md57cfcb4a5e7415e1476d23d2fd002910b
Homepagehttps://wiki.portal.chalmers.se/agda/
Sectioneditors
Priorityoptional
Filenamepool/main/a/agda/elpa-agda2-mode_2.6.4.3-1_all.deb
Size51316
MD5sum190f27332e0fd8eb44a5296e92b9cc0a
SHA256c7f72898430334f0c80f3cbe5f44b5a9c7752755c262f84d6ae58921e59328ad

Files in package

  • /usr/lib/emacsen-common/packages/compat/elpa-agda2-mode
  • /usr/lib/emacsen-common/packages/install/elpa-agda2-mode
  • /usr/lib/emacsen-common/packages/remove/elpa-agda2-mode
  • /usr/share/doc/elpa-agda2-mode/buildinfo_all.gz
  • /usr/share/doc/elpa-agda2-mode/changelog.Debian.gz
  • /usr/share/doc/elpa-agda2-mode/changelog.gz
  • /usr/share/doc/elpa-agda2-mode/copyright
  • /usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.4.3/agda-input.el
  • /usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.4.3/agda2-abbrevs.el
  • /usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.4.3/agda2-highlight.el
  • /usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.4.3/agda2-mode-autoloads.el
  • /usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.4.3/agda2-mode-pkg.el
  • /usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.4.3/agda2-mode.el
  • /usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.4.3/agda2-queue.el
  • /usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.4.3/agda2.el
  • /usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.4.3/annotation.el
  • /usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.6.4.3/eri.el