-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: agda-stdlib Binary: agda-stdlib, agda-stdlib-doc Architecture: all Version: 0.13-1 Maintainer: Iain Lane Uploaders: Debian Haskell Group Homepage: http://wiki.portal.chalmers.se/agda/ Standards-Version: 4.0.0 Vcs-Browser: https://anonscm.debian.org/cgit/collab-maint/agda-stdlib.git Vcs-Git: https://anonscm.debian.org/git/collab-maint/agda-stdlib.git Build-Depends: debhelper (>= 10), agda-bin (>= 2.5.1), agda-bin (<< 2.6.0), libghc-agda-dev (>= 2.5.1), libghc-agda-dev (<< 2.6.0), libghc-filemanip-dev Package-List: agda-stdlib deb libs extra arch=all agda-stdlib-doc deb doc extra arch=all Checksums-Sha1: 966ddad098b5dfa517214395923ae1910fcefa4f 264701 agda-stdlib_0.13.orig.tar.gz 3ffd3eb8eb90c73f6bf635e50bf24d3d8877b0b8 5040 agda-stdlib_0.13-1.debian.tar.xz Checksums-Sha256: e7cffc2b8b168c3584b6d1e760d2b49850835444e4777caa69eb29b3677ef8bb 264701 agda-stdlib_0.13.orig.tar.gz 9ae743c39a9dda1c0e051aac8983906210a8f88e1ac7667c29a0dbac6a5301fb 5040 agda-stdlib_0.13-1.debian.tar.xz Files: 2951ae6b863eff4ccd32e91828d46ac3 264701 agda-stdlib_0.13.orig.tar.gz fb5aa62a42f1bf6d83f02f5c874dad13 5040 agda-stdlib_0.13-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIcBAEBCAAGBQJZXgS+AAoJEPNPCXROn13Z9KIP/iwf89MiLomMPRPNFYlyQ7sq vR+K1wNuGgNRdW0QEAh6sJi5VPuRfDTGJ6l2KIu5UMECze+a33y8IZHAZGBRN5gV mhRdOQK9aKX47Lx5tnuTfwdESRBKMfRVZTFYM9XFzqgJF57CWPcmrmixGq6OioUE 6JnJ3RbAu+ZXsTvg+ERDIJ+wmEbzBRMoMB+9zvHbyXQ4f2/FvLIfkNKUZiJe4SqT ODHXCw6AlAMKPEEQkCvbGbJz6L3C9OgSVLbF5jh7z1G28PERtKJ8jqMW4Wtt01AH xAkqgSvlax05pBw9aF5CVWfFKOjPEyIV+N140vyej4nkFC8eDYA69aEthr+87quX rHIX42VP2W7VOEb6nOZR8w981vmkDPJvsnAGAc33VgyY+cK4bAiHeekBspdrNrCS PeajWAYIKy4T/CLYSahuEmSXcfTl7OQ8RT+QmNOuuk+b+pqE5XqmdBRiRvCccmMN /aCX195cihi1HuqkjnxWaU5bVC/0/izyxan85rRCA1+CamQDeY2UkHezSNw+SuTP 4/l10utBQZBG+9puvNBdh/XSmYNHGa5gyOqMtwLCm+udBshgXS36MVF9EmfM2SO2 iwMv59EJxDkExVaxNJbTH+WH4d6TbLWu2n3CWf/Zmn/fAmHpMKEsI2N+AWnkKrT8 Wp+SZzlmfI6JpzalBwbd =eO2l -----END PGP SIGNATURE-----