agda source package in Disco

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

Versions published

Release

The package versions that were published when the distribution release was made.

agda information

Current version:
2.5.4.1-3
Uploaded:
2018-10-21
Urgency:
Medium Urgency

Upstream connections

dagdatrunk

A simple calendar server.

Bug supervisor: no
Bug tracker: yes
Branch: no

There are no registered releases for the dagda ⇒ trunk.

Binary packages

Download files from current release (2.5.4.1-3)

File Size SHA-256 Checksum
agda_2.5.4.1-3.dsc 3.8 KiB d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
agda_2.5.4.1.orig.tar.gz 1.9 MiB 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
agda_2.5.4.1-3.debian.tar.xz 9.7 KiB aa66a9e92f0eb8132c99de531e6196ac9a9d8b7aff302622d8562249b7562981

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies