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

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

Format: 1.8
Date: Fri, 14 Jul 2023 16:23:16 -0400
Source: cryptominisat
Architecture: source
Version: 5.11.4+dfsg1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Scott Talbert <swt@techie.net>
Closes: 1037611 1040548
Changes:
 cryptominisat (5.11.4+dfsg1-3) unstable; urgency=medium
 .
   * Team upload.
   * Fix FTBFS with GCC 13 (Closes: #1037611)
   * Remove broken symlink (Closes: #1040548)
Checksums-Sha1:
 42635540fbe2128401eee4cc32f7ffd537eb39df 2459 cryptominisat_5.11.4+dfsg1-3.dsc
 8bf49ef433d42695efebb7b5cd776b3159d6eac8 6748 cryptominisat_5.11.4+dfsg1-3.debian.tar.xz
 f55b74d52afcd56576930bdbdb0896abcbab2083 10704 cryptominisat_5.11.4+dfsg1-3_amd64.buildinfo
Checksums-Sha256:
 bd169170f90d2f23ac48063185ac1f1164e5f8d6037cb76200505f90828441d7 2459 cryptominisat_5.11.4+dfsg1-3.dsc
 9f410b73692e0b530f783c7f4ff66638b09f0401430e1688d7d0736d63ce668e 6748 cryptominisat_5.11.4+dfsg1-3.debian.tar.xz
 7aaf6d8c3d1dc764868552313b99f72f51c8dde90dbaf724adbe8bc732d0cd09 10704 cryptominisat_5.11.4+dfsg1-3_amd64.buildinfo
Files:
 f1ceba77597c59a2826276587c5a2cc8 2459 math optional cryptominisat_5.11.4+dfsg1-3.dsc
 ea61763bfb4aa1189a2561014688cf25 6748 math optional cryptominisat_5.11.4+dfsg1-3.debian.tar.xz
 bf0f389ff6a153e0864074b0c18135a7 10704 math optional cryptominisat_5.11.4+dfsg1-3_amd64.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmSxsEIPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiJmQQALCFfYQEO458DFk12L3tY5tn03sQhDFg+D6O
knGt6JE8hgWvYfVdhXOHX9W1FLtcTRsNsJwZb0gLTGrQbxl5q5PAB1pBHpEcz9D9
ppwFUFalNkvDEKSD2U0Dp3nrFoTUJTmRd3fdxCjkTr/HGZQcRZU3gwum/xX/KUZa
buB7o3cipzNlgG7cp6IAfnRn6sILf7zC9WUvmeFELTor02jjM9lAn1f+MISiDdCQ
3Sa4liPh/yyi31ExsW9FExtAUlZKLCHcjCqfLGzoOa2zTKQA8JwX2ep97h33KU/Z
ItljZPrPb6Jfq6Txhs2fPkel9MGObjP7jKHvx79WHvXj+OrNRCva6pIKkw9Osf46
mOBztc17stkCgoRdEI7NfYlCzuMUKRSh5f7Xbkhaqluoz6+fDtuxf6YWrOZmdqpR
3joHM7zncEblE0rU5BPhYUEpm6DdLxjauhvW55LHrFnm4a9T8P8Euc9jPBExO1do
Wc7qdI3m4ZUnqQ7PKSBy7xjmXPInkbLsLka4TDCN81q7qfX2Ptl0x+6YEWlIYgWu
zgIi2/conpJjRqaywjQqDvteMZ+3Fjl5f9MchB4MRUk/l1oBopBgoKSG6bir7+87
xDwRzkpfyufGQzJqU9dHLqlH6GUpZQwSc0XFBg0mzAj3PSOqQM3W5MtFMVR1u4vb
1425UFDR
=3R9D
-----END PGP SIGNATURE-----