-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 1.7.1-1
Maintainer: Iain Lane <laney@debian.org>
Uploaders: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Homepage: https://wiki.portal.chalmers.se/agda/
Standards-Version: 4.6.1
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.2), agda-bin (<< 2.6.3~), libghc-agda-dev (>= 2.6.2), libghc-agda-dev (<< 2.6.3~), libghc-filemanip-dev
Package-List:
 agda-stdlib deb libs optional arch=all
 agda-stdlib-doc deb doc optional arch=all
Checksums-Sha1:
 5383fe9fa174b1d7579f43ac1e804063cc858d61 940131 agda-stdlib_1.7.1.orig.tar.gz
 4e915e0bbd69935cd7ec0d565e75077faefac583 5664 agda-stdlib_1.7.1-1.debian.tar.xz
Checksums-Sha256:
 6f92ae14664e5d1217e8366c647eb23ca88bc3724278f22dc6b80c23cace01df 940131 agda-stdlib_1.7.1.orig.tar.gz
 29b6d1c6b118eb6c064d07415ed293160c4a365557297467103bf39a856fe6b2 5664 agda-stdlib_1.7.1-1.debian.tar.xz
Files:
 19d18d2ca466cbfae1945c379b8c4bea 940131 agda-stdlib_1.7.1.orig.tar.gz
 ac9d51dd51d058248e6c09a9d163d6e4 5664 agda-stdlib_1.7.1-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmLun4QUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDy0+w//e6IzflEdrarvp5qg7OOBTdU5bXD8
xsCsucN4gdta6UnCzaFM0QEbBam2Y0OkVMfxudQZDS4ckzxG96pGFTKGlUAVtpIo
x6GRz2ZYqNw3OO1NaETFs3VmjG1xsiEUvcakmjkC7572cJ5/DU3fmdwDmA5rADZP
dtcuKvwCr27C6rcy3yemxc1RTo8OQbQwloEQQhNxH7GZI6cMbZTNTrmulmcGfBTi
jTKXQkYBFANHQqPEQWbsDr6b5z0TlgJ3J/dgqvgleL6KKX5T6TffPE4ZLnj7H/Xh
XyIj65rK+AjGBwyR1/bKghyD7ce1Zs605YAHSrcolbR8C6wEts5zr9B2Y/M7Pq6s
c1yI6/vfepXD4/o6amYB+MkJoDI0933G7BeFtb59Fkcr5WSXk1e9jG46In0h+RkG
wBA53fNPgwDsu4RFyyCRnGSUfYNu9zRA5rSvYOZWzG8apc1hd+78CcDJrjhSSzuq
Q8NbDNMTaVcn3jD554duvkQiJhjraFlHBEDqvVh5Jj8o6Qc2AuaOmEZp1+hUOmqY
WfaByqDynagzkByq1rSLCdffjvzxKvYWZR6FuYTT3FQkIx4b9A+mORVUwjeLk4BA
d/ZbLb3BU5fL4HUZaW/II36zYmB9Pno0nXvbxB+7nURMf+H+qFsRTaewXaQij7Bp
TKKsUZqvXI9XkIc=
=Prov
-----END PGP SIGNATURE-----