agda 2.5.2-2 source package in Ubuntu

Changelog

agda (2.5.2-2) unstable; urgency=medium

  * Team upload.
  * Bump ieee754 bounds.

 -- Gianfranco Costamagna <email address hidden>  Mon, 10 Jul 2017 12:54:36 +0200

Upload details

Uploaded by:
Debian Haskell Group
Uploaded to:
Sid
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
haskell
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
agda_2.5.2-2.dsc 4.0 KiB c51fd41bf0a5db8e5ab70b948a58e11567dd42dcf645fa44f52d78cd343d92a8
agda_2.5.2.orig.tar.gz 1.2 MiB d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439
agda_2.5.2-2.debian.tar.xz 8.8 KiB 2b668c25270e208494d9649eff1466e73f35e40bf91877bf99de53a687ee4529

No changes file available.

Binary packages built by this source

agda: No summary available for agda in ubuntu artful.

No description available for agda in ubuntu artful.

agda-bin: No summary available for agda-bin in ubuntu artful.

No description available for agda-bin in ubuntu artful.

agda-mode: No summary available for agda-mode in ubuntu artful.

No description available for agda-mode in ubuntu artful.

elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu artful.

No description available for elpa-agda2-mode in ubuntu artful.

libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu artful.

No description available for libghc-agda-dev in ubuntu artful.

libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu artful.

No description available for libghc-agda-doc in ubuntu artful.