-----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-----
