<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
Binary: libghc6-agda-dev, libghc6-agda-doc, agda-mode
Architecture: any
Version: 2.2.6-7
Maintainer: Debian Haskell Group &lt;pkg-haskell-maintainers@lists.alioth.debian.org&gt;
Uploaders: Iain Lane &lt;laney@ubuntu.com&gt;
Homepage: http://wiki.portal.chalmers.se/agda/
Standards-Version: 3.8.4
Vcs-Browser: http://git.debian.org/?p=pkg-haskell/agda.git;a=summary
Vcs-Git: git://git.debian.org/git/pkg-haskell/agda.git
Build-Depends: debhelper (&gt;= 7.0), haskell-devscripts (&gt;= 0.7), cdbs (&gt;&gt; 0.4.58), ghc6, libghc6-quickcheck2-dev (&gt;= 2.1.0.2), libghc6-quickcheck2-dev (&lt;&lt; 2.2.0.0), libghc6-binary-dev (&gt;= 0.4.4), libghc6-binary-dev (&lt;&lt; 0.6), libghc6-haskeline-dev (&gt;= 0.3), libghc6-haskeline-dev (&lt;&lt; 0.7), libghc6-haskell-src-dev (&gt;= 1.0.1.1), libghc6-haskell-src-dev (&lt;&lt; 2), libghc6-mtl-dev (&gt;= 1.1), libghc6-mtl-dev (&lt;&lt; 2), libghc6-xhtml-dev (&gt;= 3000.2), libghc6-xhtml-dev (&lt;&lt; 3000.3), libghc6-zlib-dev (&gt;= 0.4.0.1), libghc6-zlib-dev (&lt;&lt; 1), happy (&gt;= 1.15), happy (&lt;&lt; 2), alex (&gt;= 2.0.1), alex (&lt;&lt; 3), libncurses5-dev
Build-Depends-Indep: ghc6-doc, libghc6-quickcheck2-doc (&gt;= 2.1.0.2), libghc6-quickcheck2-doc (&lt;&lt; 2.2.0.0), libghc6-binary-doc (&gt;= 0.4.4), libghc6-binary-doc (&lt;&lt; 0.6), libghc6-haskeline-doc (&gt;= 0.3), libghc6-haskeline-doc (&lt;&lt; 0.7), libghc6-haskell-src-doc (&gt;= 1.0.1.1), libghc6-haskell-src-doc (&lt;&lt; 2), libghc6-mtl-doc (&gt;= 1.1), libghc6-mtl-doc (&lt;&lt; 2), libghc6-terminfo-doc, libghc6-xhtml-doc (&gt;= 3000.2), libghc6-xhtml-doc (&lt;&lt; 3000.3), libghc6-zlib-doc (&gt;= 0.4.0.1), libghc6-zlib-doc (&lt;&lt; 1)

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