About

This package is 86.3 KB. It is available at http://ftp.debian.org/debian/pool/main/a/agda/agda-mode_2.4.0.2-2_all.deb .

View its full control file here: debian/control.

Description

dependently typed functional programming language — emacs mode

Relations

This package depends on: emacs | emacsen, agda-bin (>= 2.4.0.2-2), agda-bin (<< 2.4.0.2-2.1~), libghc-agda-dev (>= 2.4.0.2-2), libghc-agda-dev (<< 2.4.0.2-2.1~).

This package does not recommend any other package.

This package does not suggest any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

agda-mode 2.4.0.2-2 is in debian - jessie / main. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
/etc/ root:root 0o755
/etc/emacs/ root:root 0o755
/etc/emacs/site-start.d/ root:root 0o755
/etc/emacs/site-start.d/50agda.el text/plain root:root 0o644 366 bytes
/usr/ root:root 0o755
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/agda-mode/ root:root 0o755
/usr/share/doc/agda-mode/buildinfo_all.gz application/gzip root:root 0o644 3.6 KB
/usr/share/doc/agda-mode/changelog.Debian.gz application/gzip root:root 0o644 3.7 KB
/usr/share/doc/agda-mode/changelog.gz application/gzip root:root 0o644 40.2 KB
/usr/share/doc/agda-mode/copyright text/plain root:root 0o644 3.3 KB
/usr/share/doc/agda-mode/README.gz application/gzip root:root 0o644 3.6 KB
/usr/share/emacs/ root:root 0o755
/usr/share/emacs/site-lisp/ root:root 0o755
/usr/share/emacs/site-lisp/agda/ root:root 0o755
/usr/share/emacs/site-lisp/agda/agda2-abbrevs.el text/x-lisp root:root 0o644 2.5 KB
/usr/share/emacs/site-lisp/agda/agda2.el text/x-lisp root:root 0o644 477 bytes
/usr/share/emacs/site-lisp/agda/agda2-highlight.el text/x-lisp root:root 0o644 17.3 KB
/usr/share/emacs/site-lisp/agda/agda2-mode.el text/x-lisp root:root 0o644 62.7 KB
/usr/share/emacs/site-lisp/agda/agda2-queue.el text/x-lisp root:root 0o644 1.4 KB
/usr/share/emacs/site-lisp/agda/agda-input.el text/x-lisp root:root 0o644 34.8 KB
/usr/share/emacs/site-lisp/agda/annotation.el text/x-lisp root:root 0o644 7.8 KB
/usr/share/emacs/site-lisp/agda/eri.el text/x-lisp root:root 0o644 6.8 KB