Format: 1.8
Date: Tue, 25 May 2010 22:13:02 +0100
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: i386 all
Version: 0.3-3fakesync
Distribution: maverick
Urgency: low
Maintainer: Ubuntu/i386 Build Daemon <buildd@vernadsky.buildd>
Changed-By: Iain Lane <laney@ubuntu.com>
Description: 
 agda-stdlib - a dependently typed programming language - standard library
 agda-stdlib-doc - a dependently typed programming language - documentation
Changes: 
 agda-stdlib (0.3-3fakesync) maverick; urgency=low
 .
   * Fakesync from Debian unstable due to orig.tar.gz mismatch
Checksums-Sha1: 
 072eba40bc622dbd10337118d96f2d00351f221e 12047032 agda-stdlib_0.3-3fakesync_i386.deb
 3a49be3f0090a355677ae60be80e532c4127f090 1173374 agda-stdlib-doc_0.3-3fakesync_all.deb
Checksums-Sha256: 
 d8107b1dd80aa7cf77f82805dd7ff6cf9bd0b42cdbf1814145806c8328ed322c 12047032 agda-stdlib_0.3-3fakesync_i386.deb
 7edc75edeb27d46652e882f66f9333ae7a9b3128eba3c91c16d5cbac77c1b006 1173374 agda-stdlib-doc_0.3-3fakesync_all.deb
Files: 
 dca11529b9c01a787b581a86b58647e0 12047032 libs extra agda-stdlib_0.3-3fakesync_i386.deb
 4fd4f2008275935264520a3eb3440bc4 1173374 doc extra agda-stdlib-doc_0.3-3fakesync_all.deb