agda package in Ubuntu

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

This package has 1 new bug 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 Kinetic Kudu (active development) proposed (universe)
2.6.1-1build2.1 release (universe)
The Jammy Jellyfish (current stable release)
2.6.1-1build2.1 release (universe)
The Focal Fossa (supported) release (universe)
The Bionic Beaver (supported)
2.5.3-3build1 release (universe)
The Xenial Xerus (supported) release (universe)
The Trusty Tahr (supported) release (universe)