elpa-agda2-mode 2.5.1.1-3 in debian - stretch / main

About

This package is 112.6 KB. It is available at http://ftp.debian.org/debian/pool/main/a/agda/elpa-agda2-mode_2.5.1.1-3_all.deb .

View its full control file here: debian/control.

Description

dependently typed functional programming language — emacs mode

Relations

This package depends on: agda-bin (<< 2.5.1.1-3.1~), agda-bin (>= 2.5.1.1-3), libghc-agda-dev (<< 2.5.1.1-3.1~), libghc-agda-dev (>= 2.5.1.1-3), emacsen-common.

This package recommends: emacs (>= 46.0).

This package does not suggest any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

elpa-agda2-mode 2.5.1.1-3 is in debian - stretch / main. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
postinst text/x-shellscript N/A N/A 317 bytes
prerm text/x-shellscript N/A N/A 288 bytes
/usr/ root:root 0o755
/usr/lib/ root:root 0o755
/usr/lib/emacsen-common/ root:root 0o755
/usr/lib/emacsen-common/packages/ root:root 0o755
/usr/lib/emacsen-common/packages/compat/ root:root 0o755
/usr/lib/emacsen-common/packages/compat/elpa-agda2-mode text/plain root:root 0o644 2 bytes
/usr/lib/emacsen-common/packages/install/ root:root 0o755
/usr/lib/emacsen-common/packages/install/elpa-agda2-mode text/x-shellscript root:root 0o755 1.4 KB
/usr/lib/emacsen-common/packages/remove/ root:root 0o755
/usr/lib/emacsen-common/packages/remove/elpa-agda2-mode text/x-shellscript root:root 0o755 857 bytes
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/elpa-agda2-mode/ root:root 0o755
/usr/share/doc/elpa-agda2-mode/buildinfo_all.gz application/gzip root:root 0o644 5.0 KB
/usr/share/doc/elpa-agda2-mode/changelog.Debian.gz application/gzip root:root 0o644 4.9 KB
/usr/share/doc/elpa-agda2-mode/changelog.gz application/gzip root:root 0o644 64.3 KB
/usr/share/doc/elpa-agda2-mode/copyright text/plain root:root 0o644 3.3 KB
/usr/share/emacs/ root:root 0o755
/usr/share/emacs/site-lisp/ root:root 0o755
/usr/share/emacs/site-lisp/elpa-src/ root:root 0o755
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/ root:root 0o755
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/agda2-abbrevs.el text/x-lisp root:root 0o644 2.5 KB
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/agda2.el text/x-lisp root:root 0o644 558 bytes
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/agda2-highlight.el text/x-lisp root:root 0o644 18.4 KB
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/agda2-mode-autoloads.el text/x-lisp root:root 0o644 1.3 KB
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/agda2-mode.el text/x-lisp root:root 0o644 69.9 KB
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/agda2-mode-pkg.el text/plain root:root 0o644 128 bytes
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/agda2-queue.el text/x-lisp root:root 0o644 1.4 KB
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/agda-input.el text/x-lisp root:root 0o644 34.8 KB
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/annotation.el text/x-lisp root:root 0o644 9.3 KB
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/eri.el text/x-lisp root:root 0o644 6.8 KB

APT Browse - Built by Thomas Orozco.