-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: agda-stdlib Binary: agda-stdlib, agda-stdlib-doc Architecture: all Version: 1.1-1 Maintainer: Iain Lane Uploaders: Debian Haskell Group Homepage: http://wiki.portal.chalmers.se/agda/ Standards-Version: 4.4.0 Vcs-Browser: https://salsa.debian.org/haskell-team/agda-stdlib Vcs-Git: https://salsa.debian.org/haskell-team/agda-stdlib.git Build-Depends: debhelper-compat (= 12), agda-bin (>= 2.6.0.1), agda-bin (<< 2.6.1~), libghc-agda-dev (>= 2.6.0.1), libghc-agda-dev (<< 2.6.1~), libghc-filemanip-dev Package-List: agda-stdlib deb libs optional arch=all agda-stdlib-doc deb doc optional arch=all Checksums-Sha1: 0b347f01db0185c4ff0038275aa72a37e437cc25 570106 agda-stdlib_1.1.orig.tar.gz eb75ab52f74039805351e83f2a1b21e6d4a53d60 5528 agda-stdlib_1.1-1.debian.tar.xz Checksums-Sha256: bb21bae5670863297c67f5d40c8c9e28d9329907683d43121bd58049dec25498 570106 agda-stdlib_1.1.orig.tar.gz e4eeaba87a5a259ff4d65f882ac8ae316b657921db6f148372cb730598ab6c11 5528 agda-stdlib_1.1-1.debian.tar.xz Files: 5be09e518785a3f27cdc65d5462abbbf 570106 agda-stdlib_1.1.orig.tar.gz 5eab2f0c129e6462dce567c768aba5c8 5528 agda-stdlib_1.1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1vtxEACgkQ808JdE6f XdmwSRAAi3SJ9UekUmSukYOheZpcRkkG4fOGEQU43OPbDtgJ0IXm6x9A7LVEF//m 954w+rs1eUWqs5oUV4f9nBZePs05oeIK8DuLskUsZjyQeOAVOl+q4SwPacPSLtRg 5em7zlQwdgwHBPtBACsv8rOZvNzZ1wB3og9ybioUj3RPMLOzTY0nD5e9ZnSJnxBe AdHbZd3wLWoyXsafvydOcCY8ftP3iJk8ATFdZ1Brb55kAKyFRXvbMZ134e+EvMDk wZXGwJtYK/CtEs9//Zvx7pjjp/PwOxohUKcAceertH7d0CPgIuarOIxY3XuvVhRw maJzkIw504bVLCzBfUxKLT3tmmer7ctwH9Bb2ZnrUT7ONkV+O/X+lHyxwSzZSpks RowjMTf35mXflb7gUczBM32a08E2P4HHBS2Z0x6KWkGqbuiIHJCmOBbYnpsnaovm iXclOnCY0OB14hbsD7OQgnJ4RQJoH0ZR2/6IxgLscRtXzAMSIgRtxoBnC8AtkCtQ UIxXMYovXd+2gl8q2Ytx9odktyi/ldbRigK/azLWRvQyS2w8u62NUFvuZJf2uwW4 kMymGIFK0vegQdhMSeJOL9XUxSoDqrbNVF2sT/Jtm2tUiPn6jmpFwmySOn2UvIzK psEYOLGRKzHD9JYLO8Tb17Zs/GOyVyBJKW3qKE2moyjkxzdu1nc= =HNIR -----END PGP SIGNATURE-----