<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 0.6-2
Maintainer: Iain Lane &lt;laney@debian.org&gt;
Uploaders: Debian Haskell Group &lt;pkg-haskell-maintainers@lists.alioth.debian.org&gt;
Homepage: http://wiki.portal.chalmers.se/agda/
Standards-Version: 3.9.2
Vcs-Browser: http://git.debian.org/?p=collab-maint/agda-stdlib.git
Vcs-Git: git://git.debian.org/git/collab-maint/agda-stdlib.git
Build-Depends: debhelper (&gt;= 7.0.50~), agda-bin (&gt;= 2.3.0), agda-bin (&lt;&lt; 2.3.1~), libghc-agda-dev (&gt;= 2.3.0), libghc-agda-dev (&lt;&lt; 2.3.1~)
Package-List: 
 agda-stdlib deb libs extra
 agda-stdlib-doc deb doc extra

</pre></body></html>
