agda source package in Mantic
agda: dependently typed functional programming language
agda-bin: commandline interface to Agda
elpa-agda2-mode: dependently typed functional programming language — emacs mode
libghc-agda-dev: dependently typed functional programming language
libghc-agda-doc: dependently typed functional programming language; documentation
Versions published
- Release
-
The package versions that were published when the distribution release was made.
- agda 2.6.2.2-1.1build1 (universe)
agda information
- Current version:
- 2.6.2.2-1.1build1
- Uploaded:
- Urgency:
- Medium Urgency
Upstream connections
Releases in Ubuntu
Binary packages
- agda (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- agda-bin (amd64) (ppc64el) (riscv64) (s390x)
- elpa-agda2-mode (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- libghc-agda-dev (amd64) (ppc64el) (riscv64) (s390x)
- libghc-agda-doc (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
Download files from current release (2.6.2.2-1.1build1)
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda_2.6.2.2.orig.tar.gz | 1.6 MiB | e5be3761717b144f64e760d8589ec6fdc0dda60d40125c49cdd48f54185c527a |
| agda_2.6.2.2-1.1build1.debian.tar.xz | 10.3 KiB | 95ca2b0eb7b59ad65eac7ec010bd40c93ae5c53d6cf96b6641577c1f8e54c53e |
| agda_2.6.2.2-1.1build1.dsc | 4.3 KiB | 035e9fac6e58a5b925b89bbb56ba35b0e458e2e3e860562157cf41938ffcc34b |
