agda source package in Artful

agda: No summary available for agda in ubuntu zesty.
agda-bin: No summary available for agda-bin in ubuntu zesty.
agda-mode: No summary available for agda-mode in ubuntu zesty.
elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu zesty.
libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu zesty.
libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu zesty.

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 (2.5.2-2build1)

File Size SHA-256 Checksum
agda_2.5.2.orig.tar.gz 1.2 MiB d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439
agda_2.5.2-2build1.debian.tar.xz 8.9 KiB d40b2b8560b7bf3b6c30dea5964f2d936d417cf2a7fd980be6a9b00736104004
agda_2.5.2-2build1.dsc 4.0 KiB c726a4a24c0b640abced94066d49ae6ddda579a31473ede9c775d3d8995edb3f

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies