agda source package in Bionic

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.3-3build1
Uploaded:
2017-11-25
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.3-3build1)

File Size SHA-256 Checksum
agda_2.5.3.orig.tar.gz 1.1 MiB aa14d4a3582013100f71e64d71c5deff6caa2a286083e20fc16f6dbb0fdf0065
agda_2.5.3-3build1.debian.tar.xz 9.6 KiB ab4eb698aff253546c46d39882c2413141becb0fc6b5ee462ad54e2d0c6bc879
agda_2.5.3-3build1.dsc 4.5 KiB a3455d880a9b60fee6c654fde0fa9934ae443c31626691f776c7c62c246d5292

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies