Debian
agda package

agda 2.4.2.5-1 source package in Debian

Changelog

agda (2.4.2.5-1) unstable; urgency=medium

  * [a116bca] Imported Upstream version 2.4.2.5
  * [2c258f5] Update build-deps for new release
  * [7d835fa] Remove patches which are applied upstream

 -- Iain Lane <email address hidden>  Mon, 04 Jan 2016 12:56:33 +0000

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

Builds

Downloads

File Size SHA-256 Checksum
agda_2.4.2.5-1.dsc 3.7 KiB ed440ad85cc937d6edd8a170eab6efb49fcb60865ac2942aeb4cb197e220e190
agda_2.4.2.5.orig.tar.gz 1007.3 KiB 959658a372d93b735d92191b372d221461026c98de4f92e56d198b576dfb67ee
agda_2.4.2.5-1.debian.tar.xz 7.6 KiB 31c1eea4fd7f12903e78dfcadaeda4ef8f2e4db8e91801bceb9ccf56e802ef6c

No changes file available.

Binary packages built by this source