Debian
agda package

agda 2.3.0.1-1 source package in Debian

Changelog

agda (2.3.0.1-1) unstable; urgency=low


  * New upstream release, GHC-7.4.1 compatible (Closes: #663048) 

 -- Joachim Breitner <email address hidden>  Mon, 12 Mar 2012 14:12:34 +0100

Upload details

Uploaded by:
Debian Haskell Group
Uploaded to:
Sid
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
haskell
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Downloads

File Size SHA-256 Checksum
agda_2.3.0.1-1.dsc 2.3 KiB 1a07ca0236da960e78833ad60908b61c870ce4d84ac08f964d208def356c03c7
agda_2.3.0.1.orig.tar.gz 598.0 KiB 5cc016a6cf113979d92af05c10b1e92dead4bf87861086177a017ce1d7605338
agda_2.3.0.1-1.debian.tar.gz 6.4 KiB c18bba9715b40f19e978608e7924fa50ac845837504aef0caf8767af6e71b2b8

No changes file available.

Binary packages built by this source