agda 2.4.2.2-3build1 source package in Ubuntu

Changelog

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

  * Rebuild for new GHC ABIs.

 -- Colin Watson <email address hidden>  Mon, 20 Jul 2015 14:04:53 +0100

Upload details

Uploaded by:
Colin Watson on 2015-07-20
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-3build1.debian.tar.xz 8.2 KiB d361574e837ba2a8581eb8dfe157fdb30441d264b242a60a03df3b582b8bb1bd
agda_2.4.2.2-3build1.dsc 3.6 KiB fe34a21e3d6204421b5c0611c2ee6a9d41f954e339d6f91a413cc7deefaf27cd

View changes file

Binary packages built by this source