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

Format: 3.0 (quilt)
Source: agda
Binary: agda, agda-bin, elpa-agda2-mode, libghc-agda-dev, libghc-agda-doc
Architecture: any all
Version: 2.6.3-2
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Homepage: https://wiki.portal.chalmers.se/agda/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda
Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/agda]
Build-Depends: alex, cdbs, cpphs (>= 1.20.2), debhelper (>= 10), dh-elpa (>= 2.1.5), ghc (>= 9.4), happy, haskell-devscripts (>= 0.13), ghc-prof, libghc-stmonadtrans-dev (>= 0.4.3), libghc-stmonadtrans-dev (<< 0.5), libghc-stmonadtrans-prof, libghc-aeson-dev (>= 1.1.2.0), libghc-aeson-dev (<< 2.3), libghc-aeson-prof, libghc-async-dev (>= 2.2), libghc-async-dev (<< 2.3), libghc-blaze-html-dev (>= 0.8), libghc-blaze-html-dev (<< 0.10), libghc-boxes-dev (>= 0.1.3), libghc-boxes-dev (<< 0.2), libghc-boxes-prof, libghc-case-insensitive-dev (>= 1.2.0.4), libghc-case-insensitive-dev (<< 1.3), libghc-case-insensitive-prof, libghc-data-hash-dev (>= 0.2.0.0), libghc-data-hash-dev (<< 0.3), libghc-data-hash-prof, libghc-dlist-dev (>= 0.8), libghc-dlist-dev (<< 1.1), libghc-dlist-prof, libghc-edit-distance-dev (>= 0.2.1.2), libghc-edit-distance-dev (<< 0.3), libghc-equivalence-dev (>= 0.3.2), libghc-equivalence-dev (<< 0.5), libghc-equivalence-prof, libghc-exceptions-dev (>= 0.8), libghc-exceptions-dev (<< 0.11), libghc-exceptions-prof, libghc-gitrev-dev (>= 1.3.1), libghc-gitrev-dev (<< 2.0), libghc-gitrev-prof, libghc-hashable-dev (>= 1.2.1.0), libghc-hashable-dev (<< 1.5), libghc-hashable-prof, libghc-monad-control-dev (>= 1.0.1.0), libghc-monad-control-dev (<< 1.1), libghc-monad-control-prof, libghc-murmur-hash-dev (>= 0.1), libghc-murmur-hash-dev (<< 0.2), libghc-murmur-hash-prof, libghc-parallel-dev (>= 3.2.2.0), libghc-parallel-dev (<< 3.3), libghc-parallel-prof, libghc-regex-tdfa-dev (>= 1.3.1.0), libghc-regex-tdfa-dev (<< 1.4), libghc-regex-tdfa-prof, libghc-split-dev (>= 0.2.0.0), libghc-split-dev (<< 0.3), libghc-split-prof, libghc-strict-dev (>= 0.4.0.1), libghc-strict-dev (<< 0.6), libghc-strict-prof, libghc-time-compat-dev (>= 1.9.2), libghc-time-compat-dev (<< 1.10), libghc-time-compat-prof, libghc-unordered-containers-dev (>= 0.2.5.0), libghc-unordered-containers-dev (<< 0.3), libghc-uri-encode-dev (>= 1.5.0.4), libghc-uri-encode-dev (<< 1.6), libghc-uri-encode-prof, libghc-vector-dev (>= 0.12), libghc-vector-dev (<< 0.14), libghc-vector-prof, libghc-vector-hashtables-dev (>= 0.1), libghc-vector-hashtables-dev (<< 0.2), libghc-vector-hashtables-prof, libghc-zlib-dev (>= 0.6), libghc-zlib-dev (<< 0.7)
Build-Depends-Indep: ghc-doc, libghc-stmonadtrans-doc, libghc-aeson-doc, libghc-async-doc, libghc-blaze-html-doc, libghc-boxes-doc, libghc-case-insensitive-doc, libghc-data-hash-doc, libghc-dlist-doc, libghc-edit-distance-doc, libghc-equivalence-doc, libghc-exceptions-doc, libghc-gitrev-doc, libghc-hashable-doc, libghc-monad-control-doc, libghc-murmur-hash-doc, libghc-parallel-doc, libghc-regex-tdfa-doc, libghc-split-doc, libghc-strict-doc, libghc-time-compat-doc, libghc-unordered-containers-doc, libghc-uri-encode-doc, libghc-vector-doc, libghc-vector-hashtables-doc, libghc-zlib-doc
Package-List:
 agda deb misc optional arch=all
 agda-bin deb haskell optional arch=any
 elpa-agda2-mode deb editors optional arch=all
 libghc-agda-dev deb haskell optional arch=any
 libghc-agda-doc deb doc optional arch=all
Checksums-Sha1:
 aa785cb9c9d7a362d16bb879b451995c6452cb50 1794269 agda_2.6.3.orig.tar.gz
 02eacaf4ccb032a73c6c71f862c0bc0e63d88ef6 11636 agda_2.6.3-2.debian.tar.xz
Checksums-Sha256:
 beacc9802c470e42bb0707f9ffe7db488a936c635407dada5d4db060b58d6016 1794269 agda_2.6.3.orig.tar.gz
 43dca39ea6197707375fe25f06838c865fc78e11292d6066f261fe645a5529d2 11636 agda_2.6.3-2.debian.tar.xz
Files:
 85b3f748b307b49e5f6be638486acbeb 1794269 agda_2.6.3.orig.tar.gz
 6b9a7540d9c00127f9f8bb2b8cda23b0 11636 agda_2.6.3-2.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmbQcIcUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDzSdQ//QSNo7QH4SX3HhJTLPzMAX9H/qDLO
76WzpFEXQOnrnBWFQoh5xGXQC/Bon1pys7i9Irxdcw4dCLqsehJutbFTuwnGq8Cv
Mq8ZosxmOwKWRgkVVoNlFhuGvyAvu/xO7wF5DBYQSMNyCajCsKocfyJVAe1TeRSR
HtIpbYEJYBXR2h4R6HgN7xeXmgdii9beHKrW1BgEYceCfZADZ/9n8XiwJZ+LIxk4
sbwvaJNWPT837Bwdttc4WsbDWsr5xMNks8RojquehYpOARZ3Gw6kmQL+np2B2iI9
1uWnEkCknWl9bhUjWFy9i06yQmNXnT7d9ghaPmOfDvJRbQsMoQcBzfp0eaym9u8t
z6hBTlse2kee4w3v4XsuutRe/LIye4ZeMLsFv6TsTdkJgaingI0jm18nhmchM2CC
7h157okc2WKqgPgR/bpA/sdojYrdpv7uKkp4xAe92qWIPkhXdZTL34cbDd+ffbHe
Gt9bBAJUqIlr0uSBLS9cIStaL/XD3vzy+HqNupjsu88scU6GiO6TDt6WEyI/pqY0
fW/vsxeko5AAEt2keN0ZaivHpNTQxY22TosFxdJzqBOeNZ87kpZprjsagGLPkxH8
66KMF+uxRdyaK6tc4AOKO1/sSrayXIHXa8CDb8NXl0udcRj1Id2zaNjz6/8ohW/b
2rLlZDEhFjLZ4I4=
=Dl+p
-----END PGP SIGNATURE-----