agda source package in Xenial

agda: No summary available for agda in ubuntu wily.
agda-bin: No summary available for agda-bin in ubuntu wily.
agda-mode: No summary available for agda-mode in ubuntu wily.
libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu wily.
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:
Medium 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.4.2.5.orig.tar.gz 1007.3 KiB 959658a372d93b735d92191b372d221461026c98de4f92e56d198b576dfb67ee
agda_2.4.2.5-1build1.debian.tar.xz 7.7 KiB 1aea39cbe7d4e36ce3c247c4e9042cf70bf7a2353e05d02dcaeced2c0914d356
agda_2.4.2.5-1build1.dsc 3.7 KiB b6de28c5ccaa97a70485d006f5490b1a0ee4a56351108f8cafaf076288e9203e

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies