agda source package in Bionic
agda: No summary available for agda in ubuntu artful.
agda-bin: No summary available for agda-bin in ubuntu artful.
agda-mode: No summary available for agda-mode in ubuntu artful.
elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu artful.
libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu artful.
libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu artful.
Versions published
- Release
-
The package versions that were published when the distribution release was made.
- agda 2.5.3-3build1 (universe)
agda information
- Current version:
- 2.5.3-3build1
- Uploaded:
- Urgency:
- Medium Urgency
Upstream connections
Releases in Ubuntu
Binary packages
- agda (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- agda-bin (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- agda-mode (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- elpa-agda2-mode (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- libghc-agda-dev (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- libghc-agda-doc (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
Download files from current release (2.5.3-3build1)
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda_2.5.3.orig.tar.gz | 1.1 MiB | aa14d4a3582013100f71e64d71c5deff6caa2a286083e20fc16f6dbb0fdf0065 |
| agda_2.5.3-3build1.debian.tar.xz | 9.6 KiB | ab4eb698aff253546c46d39882c2413141becb0fc6b5ee462ad54e2d0c6bc879 |
| agda_2.5.3-3build1.dsc | 4.5 KiB | a3455d880a9b60fee6c654fde0fa9934ae443c31626691f776c7c62c246d5292 |
