Debian
agda-stdlib package

agda-stdlib 0.3-1 source package in Debian

Changelog

agda-stdlib (0.3-1) unstable; urgency=low


  * Initial release. (Closes: #522914)

 -- Iain Lane <email address hidden>  Fri, 08 Jan 2010 23:35:09 +0000

Upload details

Uploaded by:
Iain Lane
Uploaded to:
Sid
Original maintainer:
Iain Lane
Architectures:
any
Section:
libs
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Downloads

File Size SHA-256 Checksum
agda-stdlib_0.3-1.dsc 1.6 KiB 3f31b657d174b01c6ecb5f0ad4085a12cad539ea5abeac6679fa5952c4bd9cd8
agda-stdlib_0.3.orig.tar.gz 146.6 KiB 73c0bd5d91728c6561a35338263ed04878c2d3eabb4e5f5ebdc79f666ef5fc8d
agda-stdlib_0.3-1.diff.gz 2.6 KiB 0c5fbbdaf517357bad47886d22d9e792e0b5f62c2fdb157d326dda9e4a47a0f0

No changes file available.

Binary packages built by this source