-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 08 Jan 2010 23:35:09 +0000
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source amd64 all
Version: 0.3-1
Distribution: unstable
Urgency: low
Maintainer: Iain Lane <la...@ubuntu.com>
Changed-By: Iain Lane <la...@ubuntu.com>
Description: 
 agda-stdlib - a dependently typed functional programming language - standard li
 agda-stdlib-doc - a dependently typed functional programming language - 
profiling l
Closes: 522914
Changes: 
 agda-stdlib (0.3-1) unstable; urgency=low
 .
   * Initial release. (Closes: #522914)
Checksums-Sha1: 
 e5017d782113e63becb47570b14339d47bb10bec 1605 agda-stdlib_0.3-1.dsc
 ffdce8c14f6f8eea1b8bb617e427222ff20dc3d5 150153 agda-stdlib_0.3.orig.tar.gz
 bf545eb02472ca8acddde8761d4e26b16fc1ac24 2660 agda-stdlib_0.3-1.diff.gz
 1ae2675cdfc2c164c6cb3d54c17a19b3f234b0b4 12068466 agda-stdlib_0.3-1_amd64.deb
 281ab6fe5754ea14a52b1c4f0593502208d55653 1179998 agda-stdlib-doc_0.3-1_all.deb
Checksums-Sha256: 
 3f31b657d174b01c6ecb5f0ad4085a12cad539ea5abeac6679fa5952c4bd9cd8 1605 
agda-stdlib_0.3-1.dsc
 73c0bd5d91728c6561a35338263ed04878c2d3eabb4e5f5ebdc79f666ef5fc8d 150153 
agda-stdlib_0.3.orig.tar.gz
 0c5fbbdaf517357bad47886d22d9e792e0b5f62c2fdb157d326dda9e4a47a0f0 2660 
agda-stdlib_0.3-1.diff.gz
 182ed1f47086486cb0c6d722ca472dd0622640910d93c7a62c73ed640ec22720 12068466 
agda-stdlib_0.3-1_amd64.deb
 0eac4dadcd956d3b6748e2e35eb43a5aea02733d4a066f7fa188347a28717318 1179998 
agda-stdlib-doc_0.3-1_all.deb
Files: 
 2ad825d094959aabe36ff46f8980cd9a 1605 libs extra agda-stdlib_0.3-1.dsc
 7a58639a0fdfdb4b748de208d657d999 150153 libs extra agda-stdlib_0.3.orig.tar.gz
 aa06c4d5aff93985c8760549e2e117ea 2660 libs extra agda-stdlib_0.3-1.diff.gz
 637f560ae8a23c383553ec9d889fcb77 12068466 libs extra 
agda-stdlib_0.3-1_amd64.deb
 b4e0d9892ac75ff28226d3e7e7e8efb5 1179998 doc extra 
agda-stdlib-doc_0.3-1_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iQEcBAEBCAAGBQJLaKPWAAoJEMkPnLkOH60MepkIAIJNA/s2lTURL+F1T/19DX1H
I1ZK2wsEPHrDNUMyhlazFHIRHcUZ6SoGWmFnZ+Zfl1a4KtbxTACnNwtzSokQHbAG
y8Qnqd4l5C5tk+8bC7lh5sm+HaI9x4tIZgmiBhDJrf7Fwk5fWDhVv6TBWcEoGv1+
sA25s+iouWNMhg0j6qxpibUVYFI41Jf1VHbczpLupsxbtT/lLKRNvLqaH2BLk7dF
1+OwBq8GTTiHaRRPnAf+Z+I17QpCV5b4LVHN+gxnFBVnwaqeLoIn+J11pm61OBZW
XvB3Jr0tt1d0FiOxct4s3Mz06ZCx7oJulm6Ax/w8yFanmee9K07OxKCTq4WKJeI=
=Uy78
-----END PGP SIGNATURE-----


Accepted:
agda-stdlib-doc_0.3-1_all.deb
  to main/a/agda-stdlib/agda-stdlib-doc_0.3-1_all.deb
agda-stdlib_0.3-1.diff.gz
  to main/a/agda-stdlib/agda-stdlib_0.3-1.diff.gz
agda-stdlib_0.3-1.dsc
  to main/a/agda-stdlib/agda-stdlib_0.3-1.dsc
agda-stdlib_0.3-1_amd64.deb
  to main/a/agda-stdlib/agda-stdlib_0.3-1_amd64.deb
agda-stdlib_0.3.orig.tar.gz
  to main/a/agda-stdlib/agda-stdlib_0.3.orig.tar.gz


-- 
To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to