-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 27 Oct 2016 18:33:06 -0400 Source: haskell-cryptol Binary: libghc-cryptol-dev libghc-cryptol-prof libghc-cryptol-doc cryptol Architecture: source Version: 2.4.0-2 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Clint Adams <clint@debian.org> Description: cryptol - ${haskell:ShortDescription}${haskell:ShortBlurb} libghc-cryptol-dev - ${haskell:ShortDescription}${haskell:ShortBlurb} libghc-cryptol-doc - ${haskell:ShortDescription}${haskell:ShortBlurb} libghc-cryptol-prof - ${haskell:ShortDescription}${haskell:ShortBlurb} Changes: haskell-cryptol (2.4.0-2) unstable; urgency=medium . * Upload to unstable as part of GHC 8 transition. Checksums-Sha1: 08427b3e57bb769745a63a03fd6e43147dcb9b68 3865 haskell-cryptol_2.4.0-2.dsc 032314eaf42c9b8862f2235dd050b00a32afcd04 297287 haskell-cryptol_2.4.0.orig.tar.gz f37d737b0e61b80767280636b53506fcc7423d77 2816 haskell-cryptol_2.4.0-2.debian.tar.xz Checksums-Sha256: bc7c47d1c56b4f316d7ff5a1fecbe548ed0e3020ae9092d28ee9aeda2d11b925 3865 haskell-cryptol_2.4.0-2.dsc d34471f734429c25b52ca71ce63270ec3157a8413eeaf7f65dd7abe3cb27014d 297287 haskell-cryptol_2.4.0.orig.tar.gz 16e229d3af8aca5677e8478b122d009e1239f79064a0b70be2224d6d107009b0 2816 haskell-cryptol_2.4.0-2.debian.tar.xz Files: b978bed5c778728c96556974317dce42 3865 haskell extra haskell-cryptol_2.4.0-2.dsc fea327044f959401ed3c5d2b5c193a19 297287 haskell extra haskell-cryptol_2.4.0.orig.tar.gz 821003218b21af63d759ddee0ee828dc 2816 haskell extra haskell-cryptol_2.4.0-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: Debian! iQKOBAEBCgB4BQJYEoqmXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1 NTkyMzMxRTE5OUQzOEE4ERxjbGludEBkZWJpYW4ub3JnAAoJEFWSMx4ZnTioLDYP /A6OjiJ2OX3IHA7T6dOcJJ69ZBQB21moADl21mDidxBZCvhBFBbDmPWuQsxasZXI EJWRhBXLa8OIBnn480zPXFyk5ulraHIBocWS3HEwFAjndw32wWBbJUyu43jMdlKE Phj3gTj/mu1pwC/GynKbL8W5r92ixwNxdBmi2ZHKxuYTOfqE3tff2IREIVGNkfo+ NaT2v35RDjYa6vxfwZlfaruFTWioGXHqXkWKlpon3O/XG604EmG73IC1K418VhRi /DGpSQd1/nN/IcgExXM9Kf2jh/B+8anP5p4xl4aFwx/kz3CiuCV43WnFN56WYBDs q7RrtrDaDXyXhGOThp+e3MNltUko2//xQul/E153pHoXLiXyIa/qZ7SVI1EKnUee ytwTHG3QfCr2sXUYPOKP4jv+IP6urpxy3VraX5D2S0OJFzxOhz0hA+LlDqIXgSTJ aM8ZFjctzWR7iyw/rV3XwPK3SvwDrCmAZ5ec9pEmTqmt4LqxXQQuummpT4QYUsnh E72U0XHNblneCs1T7XGNle9e2li3Cx0fnZGLYtOoy7+IGMBYjQ/Mv+xoZl1Az3Y3 10VsPcOE18I5R+V6WuT8tz7ClC526Cg2h6gAcvpBvDORMdetEdduoeNtNtBzmCBS CEFnLEe69FvuTGfLiYApSUPSYqrz7TCJ744bzgpi2UUl =xHlI -----END PGP SIGNATURE-----