Debian
agda-stdlib package

agda-stdlib 0.6-1 source package in Debian

Changelog

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


  * [a88bdc0] Imported Upstream version 0.6
  * [7aea5f2] Update copyright for new copyright holders and for new DEP5

 -- Iain Lane <email address hidden>  Fri, 30 Dec 2011 20:02:46 +0000

Upload details

Uploaded by:
Iain Lane
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.6-1.dsc 2.0 KiB 85ae44bca5a5a091a393f52dfd0945db4075c660f1eb0235c69c6529331c657b
agda-stdlib_0.6.orig.tar.gz 211.2 KiB f3b22d104a1d91e558e833ff968cf63dbe239601e15d91e380ef791f75d82060
agda-stdlib_0.6-1.debian.tar.gz 4.0 KiB 8d0e78827fddfa3dc402f57b2a956e23d2e5dc7d1ae7e6f1f7bbc84009499879

Available diffs

No changes file available.

Binary packages built by this source