elpa-agda2-mode (2.6.4.3-1)

2 versions available in ubuntu/plucky/universe/riscv64

Version

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-plucky-ports
Repository: https://ports.ubuntu.com
Codename: plucky
Component: universe
Source: agda
Architecture: riscv64
Section: universe/editors
Priority: extra
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 215 kB
Size expected: 46.3 kB
Size actual: 46.3 kB
Size match: match

Dependencies

Required package dependencies

agda-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

Recommends

Recommended package dependencies

emacs (>= 46.0)

Suggested packages

Recommended additional packages

None

Provides

Virtual packages provided

None

Description

dependently typed functional programming language — emacs mode

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual	Match
MD5	bedd6916…a30400f4	bedd6916…a30400f4	match
SHA-1	a3eedf40…4dcb8c94	a3eedf40…4dcb8c94	match
SHA-256	dd7b5ace…6630fae4	dd7b5ace…6630fae4	match
SHA-512	410cfd48…10698566	410cfd48…10698566	match

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/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.6.4.3
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

Versions

2 versions in this repository slot, newest first