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: dependently typed functional programming language
libghc-agda-doc: dependently typed functional programming language; documentation
This package has 1 new bug and 0 open questions.
Package information
- Maintainer:
- Debian Haskell Group
- Urgency:*
- Medium Urgency
- Architectures:*
- any all
- Latest upload:
- 2.6.3-2
*actual publishing details may vary in this distribution, these are just the package defaults.
Upstream connections
| The Oracular Oriole (active development) | ||
|
|
release (universe) | |
| The Noble Numbat (current stable release) | ||
|
|
release (universe) | |
| The Jammy Jellyfish (supported) | ||
|
|
release (universe) | |
| The Focal Fossa (supported) | ||
|
|
release (universe) | |
| The Bionic Beaver (supported) | ||
|
|
release (universe) | |
| The Xenial Xerus (supported) | ||
|
|
release (universe) | |
| The Trusty Tahr (supported) | ||
|
|
release (universe) | |
