agda source package in Trusty

agda: No summary available for agda in ubuntu saucy.
agda-bin: commandline interface to Agda
agda-mode: No summary available for agda-mode in ubuntu saucy.
libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu saucy.
libghc-agda-doc: dependently typed functional programming language; documentation

Versions published


The package versions that were published when the distribution release was made.

agda information

Current version:
Low Urgency

Upstream connections


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 (

File Size SHA-256 Checksum
agda_2.3.2.2-1.dsc 3.2 KiB a19d3e03c38794128c602822e48761a7429455e045dfe243afe24b250eca3e1c
agda_2.3.2.2.orig.tar.gz 1.9 MiB 0c8310f4067e4daac42d7233e8f245d216763186071a96ccc3d7e0edc5cb227f
agda_2.3.2.2-1.debian.tar.gz 7.2 KiB 3b02726c48e912ac727ef8dbac044033fd5269068592f14fb66587ee1b3faa46

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies