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

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

Format: 1.8
Date: Fri, 03 May 2024 08:21:56 +0200
Source: cryptominisat
Architecture: source
Version: 5.11.21+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.21+dfsg1-1) unstable; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.7.0.
   * Add patch to fix typos.
Checksums-Sha1:
 c4dc8c1e4ef445c1ae8f9fe2ff9ce93e579883e7 2498 cryptominisat_5.11.21+dfsg1-1.dsc
 3f81cb82733b315d46ad39b252ed872eef319068 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz
 05012919db4b15042857cf622ad837f9be72caa0 6620 cryptominisat_5.11.21+dfsg1-1.debian.tar.xz
 06247d335431be02a97979412373fac60c6a0806 9567 cryptominisat_5.11.21+dfsg1-1_source.buildinfo
Checksums-Sha256:
 39bd04d4c75535eeec2328a268376fb97488b9c16873187c217716a9870dc73c 2498 cryptominisat_5.11.21+dfsg1-1.dsc
 458f5a87b00cdd7667dabfada8dcb8460c93db400f11ca9c0b105edcf9370060 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz
 e281267f53549b03a28c5a231b1dda7a48f00b96579d25b0936d1fdb4dedaec4 6620 cryptominisat_5.11.21+dfsg1-1.debian.tar.xz
 ad9a4e33abfcab45157e03804fddee4b39561ab4dffa0f9e854347c348212538 9567 cryptominisat_5.11.21+dfsg1-1_source.buildinfo
Files:
 999b0fd8837567cdfc0d62f884cc2523 2498 math optional cryptominisat_5.11.21+dfsg1-1.dsc
 73a3c9062f35408e0eb2d90af7e3cfc4 481480 math optional cryptominisat_5.11.21+dfsg1.orig.tar.xz
 5f4410c4454abe9ce32408d1175532b0 6620 math optional cryptominisat_5.11.21+dfsg1-1.debian.tar.xz
 f9604af9ab2b047f5ee8b2633019a563 9567 math optional cryptominisat_5.11.21+dfsg1-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmY0gsgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR6kMP/iVc9P/UoVmxH/KgPRQvvDKxBIxASjOh
4nqZgr3yCvDJ+otruOFb1ESwAw/if9/byJ5k+Far1QEf7l4y0RUPHo9sw5LkBPLu
jBnmYDRhqFO4UNv1obuRVB/EJfyzhKsIMqEZQxx9sEwy8HxXqgWRpMz5y/aZADyf
v/ZJIqU1IqugADDvKsUE47J191xzLAUSEcCQ7KJgXyN461B6cbhQKLxWM4Rqvek8
KCZ4UV4E4v8yycHIAVGU0kjZTEMW2PYHesHqtqpHH4WSgRIFqGvqnUlWXfkZYkAf
Gxx/MLXslrCxr3n+F4h/TGBJOgmSj3oTSsYEtsc9fWyrpa5H7RAjBB+hkbNkje/J
zkHTMCNDBtNf/N1Ulmc+NRDZBhHMaqdMynslMSszV3c+oaqfgaR8d4jw0g2YhQ/g
pDwQ7xBKnKSUspZSnDT1Ofq5o+oXMoalggBwVhAlSA+37lTOZ2K2maujkcVHDSbV
NR2c/SxNiv1YB/5LKNC3c1hJNND2EKeNb0HyhgZXVbic9wExBVyY5Gwp5qTStZr8
vr+AkSX+t2hBBdatNl8IFTWmzKrv0MlI4RP67/M1Z6gm6smZTd6WeozmI28ZweS1
+Jkc0ndy0cUytyHtzyji0JcUYjpiQITITzUD/tOd1rw2ITlXI46leNSCpO24PE5U
70UP0+uAZRgw
=WUst
-----END PGP SIGNATURE-----