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: dependently typed functional programming language - development libraries
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 information

Current version:
2.3.0.1-1build2
Uploaded:
2012-04-21
Urgency:
Low Urgency

Upstream connections

dagdatrunk

A simple calendar server.

Bug supervisor: no
Bug tracker: yes
Branch: no

There are no registered releases for the dagda ⇒ trunk.

Binary packages

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