agda source package in Cosmic

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-5build3
Uploaded:
2018-07-05
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-5build3)

File Size SHA-256 Checksum
agda_2.5.3.orig.tar.gz 1.1 MiB aa14d4a3582013100f71e64d71c5deff6caa2a286083e20fc16f6dbb0fdf0065
agda_2.5.3-5build3.debian.tar.xz 9.9 KiB f6abb0b99dd9ea3c8c14510ead21910caee27c66fbff01ad24697d31d0e60dc5
agda_2.5.3-5build3.dsc 4.4 KiB 9d7eb355ea48600efd83fb664b17295ecb12bce503f53420f2bbd2c9a08b7895

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies