Publishing details

Published on 2016-12-16
Copied from debian sid in Primary Archive for Debian GNU/Linux

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

Available diffs

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

Builds

i386

Package files

agda-stdlib_0.7-2.debian.tar.gz (4.4 KiB)
agda-stdlib_0.7-2.dsc (2.0 KiB)
agda-stdlib_0.7.orig.tar.gz (221.1 KiB)