elpa-agda2-mode (2.8.0-2)

2 versions available in kali/kali-last-snapshot/main/i386

Details

Core information at a glance

Distribution
kali
Origin
kali-last-snapshot
Repository
https://http.kali.org/kali
Codename
kali-last-snapshot
Component
main
Source
agda
Architecture
i386
Section
editors
Priority
optional
Maintainer
Debian Haskell Group <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
220 B
Size expected
57.6 kB
Size actual
57.6 kB
Size match

Dependencies

Required package dependencies

  • dh-elpa-helper
  • emacsen-common

Suggested packages

Recommended additional packages

  • agda-bin (<< 2.8.0-2.1~)
  • agda-bin (>= 2.8.0-2)
  • libghc-agda-dev (<< 2.8.0-2.1~)
  • libghc-agda-dev (>= 2.8.0-2)

Description

dependently typed functional programming language — emacs mode

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD54cb16f5f…37046bed
SHA-1488d8662…5bad7b4c
SHA-2564e0d4f97…f0823cd3
SHA-512adc061b8…df697d46

Contents

Files and directories included

.
usr
usr/lib
usr/lib/emacsen-common
usr/lib/emacsen-common/packages
usr/lib/emacsen-common/packages/compat
usr/lib/emacsen-common/packages/compat/elpa-agda2-mode
usr/lib/emacsen-common/packages/install
usr/lib/emacsen-common/packages/install/elpa-agda2-mode
usr/lib/emacsen-common/packages/remove
usr/lib/emacsen-common/packages/remove/elpa-agda2-mode
usr/share
usr/share/doc
usr/share/doc/elpa-agda2-mode
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
usr/share/emacs/site-lisp
usr/share/emacs/site-lisp/elpa-src
usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.8.0
usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.8.0/agda-input.el
usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.8.0/agda2-abbrevs.el
usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.8.0/agda2-highlight.el
usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.8.0/agda2-mode-autoloads.el
usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.8.0/agda2-mode-pkg.el
usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.8.0/agda2-mode.el
usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.8.0/agda2-queue.el
usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.8.0/agda2.el
usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.8.0/annotation.el
usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.8.0/eri.el