elpa-agda2-mode (2.6.4.3-1)
Details
Core information at a glance
- Distribution
- debian
- Origin
- debian-trixie
- Repository
- https://deb.debian.org/debian
- Codename
- trixie
- Component
- main
- Source
- agda
- Architecture
- arm64
- Section
- editors
- Priority
- optional
- Maintainer
- Debian Haskell Group <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 216.1 kB
- Size expected
- 51.3 kB
- Size actual
- 51.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
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 190f2733…92b9cc0a | match |
| SHA-1 | 25ddb868…0ae8fb5d | not available |
| SHA-256 | c7f72898…e59328ad | match |
| SHA-512 | 662952cb…c6476c38 | not available |
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/buildinfo_all.gz 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.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