-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: agda-stdlib Binary: agda-stdlib, agda-stdlib-doc Architecture: all Version: 2.3-1build1 Maintainer: Debian Haskell Group Uploaders: Ilias Tsitsimpis , Homepage: https://wiki.portal.chalmers.se/agda/ Standards-Version: 4.7.3 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 (= 13), ghc (>= 9.10), agda-bin (>= 2.8.0), agda-bin (<< 2.8.0.1~), libghc-agda-dev (>= 2.8.0), libghc-agda-dev (<< 2.8.0.1~), libghc-filemanip-dev (>= 0.3.6.2), libghc-filemanip-dev (<< 0.4) Package-List: agda-stdlib deb libs optional arch=all agda-stdlib-doc deb doc optional arch=all Checksums-Sha1: 4c31cbec3e5a5394e50a99be3d322217ccea5465 1267194 agda-stdlib_2.3.orig.tar.gz 1da6c7a9c98b74ccd968cdec23afac7ef5a78e40 6124 agda-stdlib_2.3-1build1.debian.tar.xz Checksums-Sha256: 407286af16f2b5b8aebe577b3610ae9b40ce296ed3c03c66444b5801c2fa3012 1267194 agda-stdlib_2.3.orig.tar.gz 83f53b3e9c8ef1d48f2d99d96e40c0f9b1a6405497b84391510083b02fc875c4 6124 agda-stdlib_2.3-1build1.debian.tar.xz Files: d3a05d2ce9bcf51566327f715db239d6 1267194 agda-stdlib_2.3.orig.tar.gz 0a242c9003bacd9b99af2bb290524340 6124 agda-stdlib_2.3-1build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmprs1sACgkQ808JdE6f XdlgOw//bFA3OswrVESrvuug2iIsV0KI86g873eJFdSgpKW3DOQWXa8y2chd+L/r gf8C2hymeJK6Jjqo05by3r31kC8kw9vwFu6BcyfqWb1J+6gVEPO0/wZoH0ZlxTLn PbUyjfucif1h+Va3FTLhQ4IsqMZ0UiPwazUGLu/IVjfem6XrCQIESzv9irQ7p6IL viWZQvM9ehIDPmW0usTC83I+fX1jVbORanKsl4Gq51DKZC6EVoz6jP9/xvUrWdTZ YumACcz6kH1/gtx8Mlpq/L5mAa5kNCb/b8vF6V2LMbSCSYT8+F8WYReKmv06SsAx JBn/DQ9n/DyWR4Tyqc4u0MDOzmumqgmZ1L01wwA5ch+XGN1muYPDKUIqdw9IndrU FB+uQ9znDUZRQzV/7jjAukNJGwMJhDeF6AAX8wHCDHNFel/8v44e3mC81wHO9h9X 91tdwOw7kzqbM84/hpuZqqn49agXKRKzezhLRiwAawIuMxSHq4jokyor9qCXS+Y8 Vxb6pWxl01HTAIJF2fOVPNjGToZqQL2M5bkb7FZWP9ga8nq7hErA0U74Wp0pMUHA x8sp99x8AsfALaXAuSCl2yeCI7fd8m1L+MGtilHXo5dt5HQdFyTcVmPLcUn7OZEg 213dZ07GiTW7WT+k5G4fHp4mi/t01SvRvt/9m+wTbBrBvfIDP/E= =r+iw -----END PGP SIGNATURE-----