agda-bin 2.3.0.1-1 source package in Ubuntu

Changelog

agda-bin (2.3.0.1-1) unstable; urgency=low


  * New upstream release 

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

Upload details

Uploaded by:
Debian Haskell Group on 2012-03-12
Uploaded to:
Sid
Original maintainer:
Debian Haskell Group
Architectures:
any
Section:
haskell
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Precise release on 2012-03-18 universe haskell

Downloads

File Size SHA-256 Checksum
agda-bin_2.3.0.1-1.dsc 1.3 KiB c9f43888cb808ac4ff9c93de850fdbac760108f1afd495d5666c82485d8830e2
agda-bin_2.3.0.1.orig.tar.gz 1.7 KiB 614594c414c828c87abb1913741db66447c09617d57b92e58ffe445ceffed694
agda-bin_2.3.0.1-1.diff.gz 2.9 KiB 90a69a575cf80e327050b0762f5f29b291fc9df003ada748e36e95648491c0a5

Available diffs

No changes file available.

Binary packages built by this source

agda-bin: No summary available for agda-bin in ubuntu quantal.

No description available for agda-bin in ubuntu quantal.