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.4.3-1build1
*actual publishing details may vary in this distribution, these are just the package defaults.
Upstream connections
| The Resolute Raccoon (active development) | ||
|
|
release (universe) | |
| The Questing Quokka (current stable release) | ||
|
|
release (universe) | |
| The Plucky Puffin (supported) | ||
|
|
release (universe) | |
| The Noble Numbat (supported) | ||
|
|
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) | |
