agda package in Ubuntu

agda: dependently typed functional programming language
agda-bin: commandline interface to Agda
agda-mode: transitional dummy package for elpa-agda2-mode
elpa-agda2-mode: dependently typed functional programming language — emacs mode
libghc-agda-dev: dependently typed functional programming language
libghc-agda-doc: dependently typed functional programming language; documentation

This package has 0 new bugs and 0 open questions.

Package information

Debian Haskell Group
Medium Urgency
any all
Latest upload:

*actual publishing details may vary in this distribution, these are just the package defaults.

Upstream connections


A simple calendar server.

Bug supervisor: no
Bug tracker: yes
Branch: no

There are no registered releases for the dagda ⇒ trunk.

The Artful Aardvark (active development)
2.5.2-2build1 release (universe) 2017-07-22
The Zesty Zapus (current stable release) release (universe) 2017-01-31
The Xenial Xerus (supported) release (universe) 2016-02-10
The Vivid Vervet (supported) release (universe) 2014-11-03
The Trusty Tahr (supported) release (universe) 2013-11-07
The Precise Pangolin (supported) release (universe) 2012-04-21