-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: agda Binary: agda, agda-bin, elpa-agda2-mode, agda-mode, libghc-agda-dev, libghc-agda-doc Architecture: any all Version: 2.5.3-5build3 Maintainer: Debian Haskell Group Homepage: http://wiki.portal.chalmers.se/agda/ Standards-Version: 4.1.4 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 Build-Depends: alex, cdbs, cpphs (>= 1.20.2), debhelper (>= 10), dh-elpa, ghc (>= 8), happy, haskell-devscripts (>= 0.13), ghc-prof, libghc-async-dev (>= 2.0.2), libghc-async-dev (<< 2.2), libghc-async-prof, libghc-blaze-html-dev (>= 0.8), libghc-blaze-html-dev (<< 0.10), libghc-blaze-html-prof, libghc-boxes-dev (>= 0.1.3), libghc-boxes-dev (<< 0.2), libghc-data-hash-dev (<< 0.3), libghc-data-hash-dev (>= 0.2.0.0), libghc-edison-core-dev (>= 1.3.2.1), libghc-edison-core-dev (<< 1.4), libghc-edit-distance-dev (<< 0.3), libghc-edit-distance-prof, libghc-equivalence-dev (>= 0.3.2), libghc-equivalence-dev (<< 0.4), libghc-filemanip-dev (<< 0.4), libghc-filemanip-dev (>= 0.3.6.3), libghc-geniplate-mirror-dev (<< 0.8), libghc-geniplate-mirror-dev (>= 0.6.0.6), libghc-gitrev-dev (<< 2.0), libghc-gitrev-dev (>= 1.2), libghc-hashable-dev (<< 1.3), libghc-hashable-dev (>= 1.2.1.0), libghc-hashtables-dev, libghc-ieee754-dev (<< 0.9), libghc-ieee754-dev (>= 0.7.8), libghc-ieee754-prof, libghc-monadplus-dev (>= 1.4), libghc-monadplus-dev (<< 1.5), libghc-monadplus-prof, libghc-mtl-dev (>= 2.2.1), libghc-mtl-dev (<< 2.3), libghc-mtl-prof, libghc-murmur-hash-dev (>= 0.1), libghc-murmur-hash-dev (<< 0.2), libghc-parallel-dev (<< 3.3), libghc-parallel-dev (>= 3.2.0.4), libghc-regex-tdfa-dev (<< 1.3), libghc-regex-tdfa-prof, libghc-stm-dev (>= 2.4.4), libghc-stm-dev (<< 2.5), libghc-stm-prof, libghc-strict-dev (>= 0.3.2), libghc-strict-dev (<< 0.4), libghc-strict-prof, libghc-text-dev (>= 0.11.3.1), libghc-text-dev (<< 1.3), libghc-text-prof, libghc-unordered-containers-dev (>= 0.2.5.0), libghc-unordered-containers-dev (<< 0.3), libghc-unordered-containers-prof, libghc-uri-encode-dev (>= 1.5.0.4), libghc-uri-encode-dev (<< 1.6), libghc-uri-encode-prof, libghc-zlib-dev (>= 0.4.0.1), libghc-zlib-dev (<< 0.7), libghc-zlib-prof Build-Depends-Indep: ghc-doc, libghc-edison-core-doc, libghc-async-doc, libghc-blaze-html-doc, libghc-boxes-doc, libghc-data-hash-doc, libghc-edit-distance-doc, libghc-equivalence-doc, libghc-geniplate-mirror-doc, libghc-gitrev-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-ieee754-doc, libghc-monadplus-doc, libghc-mtl-doc, libghc-murmur-hash-doc, libghc-parallel-doc, libghc-regex-tdfa-doc, libghc-stm-doc, libghc-strict-doc, libghc-text-doc, libghc-unordered-containers-doc, libghc-uri-encode-doc, libghc-zlib-doc Package-List: agda deb misc optional arch=all agda-bin deb haskell optional arch=any agda-mode deb oldlibs optional arch=all 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: 10378949e5d360b0901b7d1651ae8f1820263eea 1201344 agda_2.5.3.orig.tar.gz 27fe7258b7438e879698089260b199bf31de44b4 10128 agda_2.5.3-5build3.debian.tar.xz Checksums-Sha256: aa14d4a3582013100f71e64d71c5deff6caa2a286083e20fc16f6dbb0fdf0065 1201344 agda_2.5.3.orig.tar.gz f6abb0b99dd9ea3c8c14510ead21910caee27c66fbff01ad24697d31d0e60dc5 10128 agda_2.5.3-5build3.debian.tar.xz Files: 3cab31f59cb3f49137fb6b64ba70125f 1201344 agda_2.5.3.orig.tar.gz 86c88e6a9d50cc3519943bcc579162e7 10128 agda_2.5.3-5build3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAls9zH0ACgkQ808JdE6f Xdm/QhAA0vt1bw9KRT6qSO7f840wTZTh9DoYo+0UUP25OEyd/E/vf+uuPgVE03L0 0txttW97UUsriXQZFlqduWrJg02X2daxrBVKU3b7tLO62lSi6Bw5WAwIdXPaURTJ 52H6SJCWYVPRogkLhtLfe7HAzvnBqu3tERjRM4XvCu5A2ROZujus9PZk1FTTAOVN SabB2PvaizmJ23VzGtK6rxjqoDS/Aoa11E5d7apC4Av7YHsOi0T7td59bVZ/zBgh uoY+rXXwqGU9Kekt/J2rMISXdsDtav+4aIzbd99DehPX0cJ5e1DsdKBrvFNaBM9B 7he5HZRbWaGrR7vhr816vL8QEC8ALrv0rtaM5rn6JrW+64de84Ee/3IZKI+vr2gB XXUt9UyxakvJqYtZUy8rrQUO3VAlC8x4u59A+h+L2Ycjr8bWCbO+sS38GErWV0YQ eyuK2D3ep/xdq+ENOh+mylU/bjWdI3nRdG9zdJOZXEfKZ83t5/hWkdOF/2c+mZ8c b3O9cYVbNkLfZfNiHzbeRpVJhTonsk+m9WzrGlEpNwUrBsJmJj+6NVFJuEN0NHBI W9JNrFKPbx1Fl9K/gjDkJSRV12AUY1nEHL/fJ7lKBgxYxEZAU3wJjgP01JdWcN/2 fthyqx+IAn8h2RZYFx6mqsMvSlDCpVt8lNRbiISKz4aMvg8Z98E= =0UFd -----END PGP SIGNATURE-----