Back to haskell-what4 PTS page

Accepted haskell-what4 1.5.1-2 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 25 Oct 2023 11:22:09 -0400
Source: haskell-what4
Architecture: source
Version: 1.5.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Clint Adams <clint@debian.org>
Changes:
 haskell-what4 (1.5.1-2) unstable; urgency=medium
 .
   * Build-Depend on both cvc4 and cvc5 for testsuite.
   * Disable tests requiring Yices.
Checksums-Sha1:
 f70e8e1763d5cb1da78147689a6d7ecd135754dd 6125 haskell-what4_1.5.1-2.dsc
 26625170b577b7202819f7b919a1b1e4112feeec 421304 haskell-what4_1.5.1.orig.tar.gz
 500bc71b63c8e97bedae8f6ab3a7ec52c2ef7a5a 5028 haskell-what4_1.5.1-2.debian.tar.xz
 a3ebd79fb55eb347c0fa067be872b984280409e1 16280 haskell-what4_1.5.1-2_source.buildinfo
Checksums-Sha256:
 107dede315b7cb7956360d8f019af143df1ad71a21d113c675a02823a3814a60 6125 haskell-what4_1.5.1-2.dsc
 35775a0f26ae31148b298307bce4f1b0796a22a1f307361dd8347ddaaf3f3108 421304 haskell-what4_1.5.1.orig.tar.gz
 5a8803ed8a3f1ffb26babecc5d2ae961632266b487311061e259b3df869ce68d 5028 haskell-what4_1.5.1-2.debian.tar.xz
 547036a2453070dca7556896a081c71ed6f89938cc0a6dac381fe9b81ccb3d1a 16280 haskell-what4_1.5.1-2_source.buildinfo
Files:
 88426ff97bb1273de599160299cc8cfd 6125 haskell optional haskell-what4_1.5.1-2.dsc
 2f503ef5f43eedb0269729f7d7af32e0 421304 haskell optional haskell-what4_1.5.1.orig.tar.gz
 031f748576a5e485ce4fdf3a7a6d3464 5028 haskell optional haskell-what4_1.5.1-2.debian.tar.xz
 49f83b530d6e922a9415695b419f7152 16280 haskell optional haskell-what4_1.5.1-2_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJFBAEBCgAvFiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAmU5QZARHGNsaW50QGRl
Ymlhbi5vcmcACgkQVZIzHhmdOKhiPQ/8DYeoFjvSvoC9BYClIG/Zj+m/BccnSiLR
k13bYtxq0Hp5R1HzAA6g4EskNKR2M3rkYPZJpUOz68T3pQF6HF1LjMJHLm+vs4Xx
9jy9wnzt+MpeeSdDuWOxIY9Kz2YSubgm7N3YrQjS0sy0I4tJsO0/sBJDVq8OwKCg
Uk/1xE0Lx4ORHCdBm4pFh9mb08Va4oebaGi5LKmnPsnUk9jGgfekpfqnnrWa5BMH
TkQ0Gf5wK8JERDr/qIx90vCC6wo2FpUVfd22LHiuDerA5oOJV9HrVJMlle+l44v6
ISLQ5CRRBx0uJw4ZOEt0zSzVU0+m1MY0lLvFU30qP8vfAh+R1e+KkFODhqlX95yQ
cL3IYbg9ThR4ZnUxLQpFxNvpQg2TAdgYboIN5lBn+NHtJLqypucz79Krm3oIHooc
2NqblJX58Zwb2VcZHqaVv2bGqeUiz0xqMIqaswi4lnCFn8i12zWbwI3cpWqWaWaZ
YFEEMDUfblSwREKAWB/Htzxl0QCWPxbpIG44orr5gMmu3hLDfn4SK+9pMMLOeK1o
ExuzPovzGrcdwZikkr2RPtC1DIRESAK5H0Ed3NdDPqMzUsCxRggkpMIE+vgYXE6s
uYRMPirBqR7vzpDSulRvS5ZnfeeF+XriEGXl+NmekNTL05aubWmnJeXzD7kb9HPd
1ICRuITCyw8=
=AtCX
-----END PGP SIGNATURE-----