agda source package in Precise
agda: No summary available for agda in ubuntu oneiric.
agda-mode: dependently typed functional programming language — emacs mode
libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu oneiric.
libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu oneiric.
Versions published
- Release
-
The package versions that were published when the distribution release was made.
- agda 2.3.0.1-1build2 (universe)
agda information
- Current version:
- 2.3.0.1-1build2
- Uploaded:
- Urgency:
- Low Urgency
Upstream connections
Releases in Ubuntu
Download files from current release (2.3.0.1-1build2)
File | Size | SHA-256 Checksum |
---|---|---|
agda_2.3.0.1.orig.tar.gz | 598.0 KiB | 5cc016a6cf113979d92af05c10b1e92dead4bf87861086177a017ce1d7605338 |
agda_2.3.0.1-1build2.debian.tar.gz | 6.5 KiB | 521af6b5e43c1a6a3c032bf59dec8c60431cb162799eb4b4077d6bc2fec8e0a1 |
agda_2.3.0.1-1build2.dsc | 3.0 KiB | 7e30d3725f3429ec5b9bb41865d4e58442e12413db30642ba1270fa45fb3dd74 |
Package relationships
Build dependencies
|
Platform-independent build dependencies |
Platform-dependent build dependencies |
Build conflicts |
Platform-independent build dependencies |
Platform-dependent build dependencies |