-----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
