Accepted cryptominisat 5.11.4+dfsg1-1 (source) into unstable

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

Format: 1.8
Date: Fri, 28 Oct 2022 19:50:03 +0200
Source: cryptominisat
Architecture: source
Version: 5.11.4+dfsg1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 cryptominisat (5.11.4+dfsg1-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 98dc01fe63fe279e26bd01ac7eda1dbd186f851d 2463 cryptominisat_5.11.4+dfsg1-1.dsc
 11637bfd57ba312a886817a9717869a34a644f5a 530220 cryptominisat_5.11.4+dfsg1.orig.tar.xz
 139096d34d84cc51cca0c8fc5505d416144c8205 5276 cryptominisat_5.11.4+dfsg1-1.debian.tar.xz
 b497164dcb5b23693e3c2de5929fb090b2d953d6 8849 cryptominisat_5.11.4+dfsg1-1_source.buildinfo
Checksums-Sha256:
 834603bdec017196c56557aca6a8c9e4020d049fc6257a851db171691d8ceca4 2463 cryptominisat_5.11.4+dfsg1-1.dsc
 1e499b5c975055fffe6ea9a9c0209264949fe910c294d7b90a6df9d6e36e783a 530220 cryptominisat_5.11.4+dfsg1.orig.tar.xz
 396c43a88c4e69fab08e7498fefad8136136d374a818b8dbb89a63e15a95a678 5276 cryptominisat_5.11.4+dfsg1-1.debian.tar.xz
 0df92d2da17ab88ec8212cc8aaeb7b3a9b3dc582e3c5b79247da0c46e8a36835 8849 cryptominisat_5.11.4+dfsg1-1_source.buildinfo
Files:
 c4c322eb827c63928a4132cfba7c1ccc 2463 math optional cryptominisat_5.11.4+dfsg1-1.dsc
 22041d86963e4ed8ae208e8638ecb007 530220 math optional cryptominisat_5.11.4+dfsg1.orig.tar.xz
 c7b0dc835d61dbed68bcb5ed3e2ff9c9 5276 math optional cryptominisat_5.11.4+dfsg1-1.debian.tar.xz
 7d11d25674efd30d5f304a4e69d51fec 8849 math optional cryptominisat_5.11.4+dfsg1-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNcFnESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRcM8P/2E2heQTExfMwIlI0Zx2JZWkhPkj6UtU
jti8sOxWhu1WAIPu4WD1Ns2OF+xPZyMf9QWU+soyYR72U0UfkD1OdAWTtfarzQow
jtFXy9DHKKBVZva7AVZa7/NCCRewXnqBaxFBSGi5uTw7dEkrhWeT+hqGEX7Rzc3r
LHCu+5XEf3TbPb8kwrK9yXFuGrSPMkDabbJh+m2UQE5zwzzVVoaEYc91pmjsiF4N
ytKwhWP37gtAU08A1ZotGpHdbXrmH15yqRUqzExdzqdKkQKF+Gc4Bbq0OciMgWUK
25f2rfL3DOTlGbuCYRCgg7QvFlzoWsMcAGeI3FWiD8JUdmuWOhvvygeS4irtfcsn
NonXMEJAyNrCCY/saAX3q2nvVsi3KW8C66yvTtradxWKUVYMMKzInF2RkNzzDXfc
UjN6Lyh8aHtRjLTE3qxVedgjlVZD1yjwbLLvNja7go5qUOkty8fvP1FEZI7Z+til
Q0Od/IHmPxFnkfGSRwVQqM3a5XGYg9Uv0Yv0687uTPMCahGJOmkveilKzMEWgP8i
WC/XF58DObRKcrdH2elmmi7b9C+DYIzxarrqoHD1bZ7KO62Ls54Gh5GYYD9d6wLf
9Jtdv4sHkw9dDmcCVP7gf0bvYlalkgFvsy7VXwAViMgconSmVfQDeyfU1n3XS0Dz
t32C9M7h7Ri5
=WIrn
-----END PGP SIGNATURE-----