Accepted haskell-what4 1.5.1-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted haskell-what4 1.5.1-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 25 Oct 2023 17:09:19 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: haskell-what4_1.5.1-2_source.changes
- Debian-source: haskell-what4
- Debian-suite: unstable
- Debian-version: 1.5.1-2
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=hOH/uOfCmTFsjbPFQPi/+I/o2KRTBBaQ6RBBCWJvkCE=; b=dgvLbbbNIQHIIYS7Czo/5OlxVC 8PDgFrzqTsPbyjeUh4Ia4D1Z2HEy9ULGxR6bO9BEFeDnVBeFoPm6gr7n3GCpmHrS3H+wWfFBuBmep 3Yb1zyTf1q5I9V71qDEIkAEGLNSJHJsxDxyLrb16wiG6jfUaiUPny/JBLxbeUC7Qj73vaLNb25MGP sOwtvi6BkQpgjHZoSTkcHfs/9m+MQ+cJA8qvGkqPLURbtctEPQl4P9cI8u4XsOf2VC/6wBstUzPzp /G7w786mfDs6gJ9cUt9ZxUFdQ82TW4V3hypuIrb0j13Q0CBEgpmWAwiXSzS5q/HnZhrUClUFCaAhE 7Qa7aQ5g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qvhNf-003TEp-Tj@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----