Back to cryptominisat PTS page

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



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

Format: 1.8
Date: Thu, 03 Nov 2022 14:49:01 -0400
Source: cryptominisat
Architecture: source
Version: 5.11.4+dfsg1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Scott Talbert <swt@techie.net>
Changes:
 cryptominisat (5.11.4+dfsg1-2) unstable; urgency=medium
 .
   * Team upload.
   * Include cmake files in -dev package (needed for cvc5)
Checksums-Sha1:
 172afc1aff415cfed4a50c8b9eafa30760c34224 2459 cryptominisat_5.11.4+dfsg1-2.dsc
 e012ea32b6086924e7701600278411645e20d04c 5360 cryptominisat_5.11.4+dfsg1-2.debian.tar.xz
 b71882396031894e1243d6fbac1872abbe3a3d12 10615 cryptominisat_5.11.4+dfsg1-2_amd64.buildinfo
Checksums-Sha256:
 037e37b859a3b205f07e4c65145d216a037f22db4b52073b9816a6a07a59f225 2459 cryptominisat_5.11.4+dfsg1-2.dsc
 31f352b63ee43614c287171fc67798070749845001df61e76ce5a7ab484cee15 5360 cryptominisat_5.11.4+dfsg1-2.debian.tar.xz
 3b62e4d94b909be37c9e7220c1c75a58702aa86254c4605be0235afcbddf056e 10615 cryptominisat_5.11.4+dfsg1-2_amd64.buildinfo
Files:
 5e1bb81e869cfa922dcadf72fbfc0958 2459 math optional cryptominisat_5.11.4+dfsg1-2.dsc
 0a7b8fa19d2009619cf55115676a9f53 5360 math optional cryptominisat_5.11.4+dfsg1-2.debian.tar.xz
 ae59465fbacdd8918dd68108f94b3fb0 10615 math optional cryptominisat_5.11.4+dfsg1-2_amd64.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmNkD4YPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iisPUP/3S86WZcYc1h2bBYYS6H+Z9PS60a/lyAN9RK
js2+TlkhDq1JOu9ZzZHGW/llCTXGiTD+QTGsDoelFSmp/uS+1rkmttg+GA2wUokM
Hl7Ztmry4qo6cSofgVQPsibt3mG8T5gw6DbffMRjNo4VIeZf/Vwx0phmJ77Ai3y4
lKY9qFl3mogGKYv2WFfGIkj0clLvgzC3ZtbHbGC+J3BBVG8m+Ym1zouSQtaEALTJ
2PoQAQhwWP/+a0905STKD5hJGA8eE7sUuyOHis3rYWWNBtPq6U83svld+kh9hOMA
2Q46mx987aBrTRiNJv+oGVjo3BudhMdMf3eYAdZbe29M2lECUZDeyDbMYGRZQ/bU
wINjfpOQC8yuQttdBzk77/AYPeLiltZaa5DJUzuv2HJ9FhiM0ZJNtUyYdBahDrk7
r9eYjmH2jZoZZ5NvxO6Fbsm+HVt5GfQjkP4OjDaToR1t6G/TTiP7ELoTCd8GO0rx
CSwKMWJBgdpc+A7xUm13TTxjPofSd6Qha/AhzfWopt9Ig3GOhd7Nl+uQc0w7YMVA
ZBW0UHAxeM6h82A8YiU/ylKCv9db77koFv4Jltg1R0kmexJlVNnlYAzGy667BzP6
bYcCe2BB1zH05lBAyiDjNcG8jdVk2VdaEUusae9uZv+0Y3jNrj0hrGjslXnQdCA7
bg34kxK9
=cKpl
-----END PGP SIGNATURE-----