-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: haskell-type-level-numbers Binary: libghc-type-level-numbers-dev, libghc-type-level-numbers-prof, libghc-type-level-numbers-doc Architecture: any all Version: 0.1.1.1-3build1 Maintainer: Debian Haskell Group Uploaders: Sean Whitton Homepage: http://hackage.haskell.org/package/type-level-numbers Standards-Version: 3.9.8 Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-type-level-numbers Vcs-Git: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git Build-Depends: cdbs, debhelper (>= 9), ghc (>= 8), ghc-prof, haskell-devscripts (>= 0.13) Build-Depends-Indep: ghc-doc Package-List: libghc-type-level-numbers-dev deb haskell extra arch=any libghc-type-level-numbers-doc deb doc extra arch=all libghc-type-level-numbers-prof deb haskell extra arch=any Checksums-Sha1: a6d89ab0f627ed010ed78bb0bbf93c4490450e55 9978 haskell-type-level-numbers_0.1.1.1.orig.tar.gz a45bb7fbde28454752db1abaecd2bff20762bc8a 2360 haskell-type-level-numbers_0.1.1.1-3build1.debian.tar.xz Checksums-Sha256: 5b56ef5f6e0b6476b9aba46055c3919e67823cbc1b87ed8e6ed70113b1f2318a 9978 haskell-type-level-numbers_0.1.1.1.orig.tar.gz 775cd09bb5edc8deb36c30f2551e655858d7d3469eac8b83250e7e653a284278 2360 haskell-type-level-numbers_0.1.1.1-3build1.debian.tar.xz Files: 39e6dbfe99bb2037c2d8d871685b074a 9978 haskell-type-level-numbers_0.1.1.1.orig.tar.gz 810f15eaf35001d28b748f6410332f6e 2360 haskell-type-level-numbers_0.1.1.1-3build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJYhzFNAAoJEPNPCXROn13ZKJkQALLI94GkPlA7/Basq7LlfBiQ jYZ+ewsx8CcLTC7W3kyJ7LM4mCpa7RWlwGJZLmBuI9gYBYf3D510hoZmmRUs+33R F9we7zS9mwf6L2ixmG6uxXA1aRG35PohvB/vFYinXjV23wD1AvGfR12sU1w1eM39 CMyLviGZmi5IgStPS0Id6nl5c2+2BGUjTvW9gqoXpvqkUb0hg46eN949sAp2u6nw 7uejPH2bLcuFQlaXexvfeZNXqcdXSMeGyNaiTR7NmbFTB/tOb2vguBAoYJOn3BK+ 6d88ebAAk948lciDKsov1itME9xCLmSH3IBCxFNTCFHtY7VcRPV0iS3pUbIPnj/M AVtc10pVIL003vEpOk/XciS5rzXjKNXc/kqUJT/+3doyLuTjiGzzqlH82XFNsaaT TRklNz9gODlyEpW75Z8UUxzUnvwTgVnJuVxgDUySZPIoTGPMYh5UzZy/eLXGER3A 22PfFTQ9ZxU0oJgz4v4i9DBojtVF7laxFWta+W2RprWMgjq5xZBjk+955ia1QgvO Nnzw/WtLoQg+AEEX7S4tomJs30xZWXCPG/ws3o8+sS2m+KDkI2UZjSt3RqUK9yRt YS3VeHzG2IeV0MDc9pOjaowQHtCTvEO8uCPJZa5bCYDCvb36/nKixlQ08hrxqPXl 0j1zHg1zgtG7Decz73iR =Yh3C -----END PGP SIGNATURE-----