agda source package in Jammy
agda: No summary available for agda in ubuntu kinetic.
agda-bin: No summary available for agda-bin in ubuntu kinetic.
elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu impish.
libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu impish.
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.1-1build2.1 (universe)
agda information
- Current version:
- 2.6.1-1build2.1
- 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.1-1build2.1)
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda_2.6.1.orig.tar.gz | 2.5 MiB | 678f416af8f30d017825309f15fac41d239b07f66a4c40497e8435a6bdb7c129 |
| agda_2.6.1-1build2.1.debian.tar.xz | 10.0 KiB | 66fff7cbfaf19f8cb613cc1c2dc775f74e5ac60ccf4dc3b941a68937842ed563 |
| agda_2.6.1-1build2.1.dsc | 4.2 KiB | 8d86478a8a71c46e834b75144a48ffe34c498a071fc7fe152d1b0c552161170e |
