-----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 <laney@debian.org>
Uploaders: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
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-----