Back to haskell-cryptol PTS page

Accepted haskell-cryptol 2.4.0-2 (source) into unstable



-----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-----