Debian
agda-stdlib package

agda-stdlib 0.7-2 source package in Debian

Changelog

agda-stdlib (0.7-2) unstable; urgency=low


  * Upload to unstable 

 -- Iain Lane <email address hidden>  Mon, 27 May 2013 19:29:25 +0100

Upload details

Uploaded by:: Iain Lane on 2013-05-27

Uploaded to:: Sid

Original maintainer:: Iain Lane

Architectures:: all

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.7-2.dsc	2.0 KiB	f1e719ceb1c84c0d530dac29dcf8549e3de83916b611211074aa0e3f8b1913e4
agda-stdlib_0.7.orig.tar.gz	221.1 KiB	631a33e8e27ead32c85cc92a0a85849744d3b2960ef9675736d54288267ed2fa
agda-stdlib_0.7-2.debian.tar.gz	4.4 KiB	fe86db1377238fb30cf0c8286952e969b10304bbb099e461afce5fe406634f24

Available diffs

diff from 0.7-1 to 0.7-2 (314 bytes)

No changes file available.

Binary packages built by this source