agda source package in Xenial
agda: No summary available for agda in ubuntu wily.
agda-bin: No summary available for agda-bin in ubuntu wily.
agda-mode: No summary available for agda-mode in ubuntu wily.
libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu wily.
libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu wily.
Versions published
- Release
-
The package versions that were published when the distribution release was made.
- agda 2.4.2.5-1build1 (universe)
agda information
- Current version:
- 2.4.2.5-1build1
- Uploaded:
- Urgency:
- Medium Urgency
Upstream connections
Releases in Ubuntu
Binary packages
- agda (amd64) (arm64) (armhf) (i386) (powerpc) (ppc64el) (s390x)
- agda-bin (amd64) (arm64) (armhf) (i386) (powerpc) (ppc64el) (s390x)
- agda-mode (amd64) (arm64) (armhf) (i386) (powerpc) (ppc64el) (s390x)
- libghc-agda-dev (amd64) (arm64) (armhf) (i386) (powerpc) (ppc64el) (s390x)
- libghc-agda-doc (amd64) (arm64) (armhf) (i386) (powerpc) (ppc64el) (s390x)
Download files from current release (2.4.2.5-1build1)
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda_2.4.2.5.orig.tar.gz | 1007.3 KiB | 959658a372d93b735d92191b372d221461026c98de4f92e56d198b576dfb67ee |
| agda_2.4.2.5-1build1.debian.tar.xz | 7.7 KiB | 1aea39cbe7d4e36ce3c247c4e9042cf70bf7a2353e05d02dcaeced2c0914d356 |
| agda_2.4.2.5-1build1.dsc | 3.7 KiB | b6de28c5ccaa97a70485d006f5490b1a0ee4a56351108f8cafaf076288e9203e |
