agda 2.4.2.2-4build1 source package in Ubuntu

Changelog

agda (2.4.2.2-4build1) wily; urgency=medium

  * Rebuild for new GHC ABIs.

 -- Colin Watson <email address hidden>  Sun, 16 Aug 2015 09:51:20 +0100

Upload details

Uploaded by:
Colin Watson
Uploaded to:
Wily
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.4.2.2.orig.tar.gz 940.7 KiB 2344107654d0cb2a18dcf179ed3ea0f427839e058771ed628da64fbaed55bbc3
agda_2.4.2.2-4build1.debian.tar.xz 8.6 KiB ef7313b239c0ab9f74f9dc82dd8af309c5e3f09d1343140b53218c0381ec54e4
agda_2.4.2.2-4build1.dsc 3.6 KiB ddb7c687270db1506b9c2fd84d97ca61f8a740180282166bbe6098c0064833cd

Available diffs

View changes file

Binary packages built by this source

agda: No summary available for agda in ubuntu wily.

No description available for agda in ubuntu wily.

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

No description available for agda-bin in ubuntu wily.

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

No description available for agda-mode in ubuntu wily.

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

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

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

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