elpa-agda2-mode (2.8.0-2build1)
2 versions available in ubuntu/resolute/universe/s390x
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-resolute
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- resolute
- Component
- universe
- Source
- agda
- Architecture
- s390x
- Section
- universe/editors
- Priority
- extra
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 212 kB
- Size expected
- 47.7 kB
- Size actual
- 47.7 kB
- Size match
- match
Dependencies
Required package dependencies
Recommends
Recommended package dependencies
Suggested packages
Recommended additional packages
- agda-bin (<< 2.8.0-2build1.1~)
- agda-bin (>= 2.8.0-2build1)
- libghc-agda-dev (<< 2.8.0-2build1.1~)
- libghc-agda-dev (>= 2.8.0-2build1)
Provides
Virtual packages provided
- None
Description
dependently typed functional programming language — emacs mode
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 06feb2fe…f4740a12 | match |
| SHA-1 | 59e75923…bc79b189 | match |
| SHA-256 | e372dc69…718b7e6f | match |
| SHA-512 | 3ce90669…e33540c4 | match |
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/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
Versions
2 versions in this repository slot, newest first