agda source package in Focal
agda: No summary available for agda in ubuntu eoan.
agda-bin: No summary available for agda-bin in ubuntu eoan.
agda-mode: No summary available for agda-mode in ubuntu eoan.
elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu eoan.
libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu eoan.
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.0.1-1build4 (universe)
agda information
- Current version:
- 2.6.0.1-1build4
- Uploaded:
- Urgency:
- Medium Urgency
Upstream connections
Releases in Ubuntu
Binary packages
- agda (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- agda-bin (amd64) (arm64) (ppc64el) (riscv64) (s390x)
- agda-mode (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- elpa-agda2-mode (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- libghc-agda-dev (amd64) (arm64) (ppc64el) (riscv64) (s390x)
- libghc-agda-doc (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
Download files from current release (2.6.0.1-1build4)
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda_2.6.0.1.orig.tar.gz | 2.3 MiB | 7bb88a9cd4a556259907ccc71d54e2acc9d3e9ce05486ffdc83f721c7c06c0e8 |
| agda_2.6.0.1-1build4.debian.tar.xz | 10.0 KiB | 0d4953aef6fb090606e90a5c90425c9ca11108f3bb37c74f3b2e187c8c85b805 |
| agda_2.6.0.1-1build4.dsc | 4.2 KiB | 173952a3906ef1a35876a5121a278400fbadccb3bd6f57e9091b2f6887058803 |
