agda source package in Kinetic
agda: dependently typed functional programming language
agda-bin: No summary available for agda-bin in ubuntu impish.
elpa-agda2-mode: dependently typed functional programming language — emacs mode
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.2.2-1 (universe)
agda information
- Current version:
- 2.6.2.2-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.2.2-1)
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda_2.6.2.2-1.dsc | 4.3 KiB | 74e075e94f84246a2d2b793f2405eab3a14b07b7de6831da6b260a5d1f952420 |
| agda_2.6.2.2.orig.tar.gz | 1.6 MiB | e5be3761717b144f64e760d8589ec6fdc0dda60d40125c49cdd48f54185c527a |
| agda_2.6.2.2-1.debian.tar.xz | 10.0 KiB | a2e1abb25a2896188ed10f90394ca25cc29ee38b017a2bbd1169fbcc7795b51f |
