agda package in Ubuntu

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

This package has 1 new bug and 0 open questions.

Package information

Maintainer:
Ubuntu Developers
Urgency:*
Medium Urgency
Architectures:*
any all
Latest upload:
2.6.0.1-1build4

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

Upstream connections

dagdatrunk

A simple calendar server.

Bug supervisor: no
Bug tracker: yes
Branch: no

There are no registered releases for the dagda ⇒ trunk.

The Focal Fossa (current stable release)
2.6.0.1-1build4 release (universe) 2020-02-08
The Eoan Ermine (supported)
2.6.0.1-1build2 release (universe) 2019-09-09
The Bionic Beaver (supported)
2.5.3-3build1 release (universe) 2017-11-27
The Xenial Xerus (supported)
2.4.2.5-1build1 release (universe) 2016-02-10
The Trusty Tahr (supported)
2.3.2.2-1 release (universe) 2013-11-07
The Precise Pangolin (supported)
2.3.0.1-1build2 release (universe) 2012-04-21