agda 2.5.1.1-4build2 source package in Ubuntu

Changelog

agda (2.5.1.1-4build2) artful; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 06 Jul 2017 09:35:29 +0200

Upload details

Uploaded by:
Gianfranco Costamagna on 2017-07-06
Uploaded to:
Artful
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.1.1.orig.tar.gz 1.1 MiB 563b8063fc94349b56ae1867e973f1751db0e9a8997af7ede93d3c3a8c66a6b0
agda_2.5.1.1-4build2.debian.tar.xz 9.5 KiB 322328fc5cb81e88cb8ffeacac01a28cd68ff5aecf2cf0031d41c331d9b5a5d7
agda_2.5.1.1-4build2.dsc 3.9 KiB ca19a1e13cb963f9cdcfb96db6977233123ec7b94c47f126eb53af50c80f54df

Available diffs

View changes file

Binary packages built by this source