agda 2.5.1.1-3build4 source package in Ubuntu

Changelog

agda (2.5.1.1-3build4) artful; urgency=medium

  * No-change rebuild for new GHC ABIs

 -- Steve Langasek <email address hidden>  Wed, 21 Jun 2017 05:28:44 +0000

Upload details

Uploaded by:
Steve Langasek on 2017-06-21
Uploaded to:
Artful
Original maintainer:
Ubuntu Developers
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-3build4.debian.tar.xz 9.6 KiB df51de39e4a83b476daa304e44a43614c98ce093a3f6149cf1d63a85df862aa0
agda_2.5.1.1-3build4.dsc 4.1 KiB dff95f3a26aff078ddc3986a5ab3afcd97b8e88a86c91a3be1d02e96e3a12c99

Available diffs

View changes file

Binary packages built by this source