Accepted kissat 4.0.1-1 (source amd64) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 10 Oct 2024 19:58:39 +0800
Source: kissat
Binary: kissat kissat-dbgsym
Architecture: source amd64
Version: 4.0.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Changed-By: Shengqi Chen <harry-chen@outlook.com>
Description:
 kissat     - Keep it simple and clean bare metal SAT solver
Closes: 1084868
Changes:
 kissat (4.0.1-1) unstable; urgency=medium
 .
   [ Shengqi Chen ]
   * New upstream version 4.0.1 (closes: #1084868)
   * d/tests: add a simple autopkgtest
Checksums-Sha1:
 d408bdd31d02698f33cca6cf3bc3050dd374e9c0 1621 kissat_4.0.1-1.dsc
 c8fa092932bb13304b6e3ca030ae00c2b26ec6a5 531537 kissat_4.0.1.orig.tar.gz
 27f2cb66e1901954cc0ddfa395409d9fbb54a6de 3308 kissat_4.0.1-1.debian.tar.xz
 e647ed800ab649270da8419a4ff63a549236b9f1 1317700 kissat-dbgsym_4.0.1-1_amd64.deb
 33d84dfa79cec61961c04c33e460ab9155d96272 5763 kissat_4.0.1-1_amd64.buildinfo
 d0341348a63158252b0076ee7c3840ee521fce23 355404 kissat_4.0.1-1_amd64.deb
Checksums-Sha256:
 faed11cbc64006c00381eab213193768919fd963c3e183f10fbe55745cfb3da3 1621 kissat_4.0.1-1.dsc
 4b41edf12ffa5f8e8b1986e5ad3e0bedb4d34b0ed3ecc7c13362bc7ba0aba66b 531537 kissat_4.0.1.orig.tar.gz
 ed1e65082afb90d93ae58b50631e9e5a0e674919b4432359be0c7d31ea54434a 3308 kissat_4.0.1-1.debian.tar.xz
 46e553c9d411bd1805e73ae6e28159d264e5d3a0258977e3a05a74afc2af856d 1317700 kissat-dbgsym_4.0.1-1_amd64.deb
 2a677b2dce8403c302a7de40296f5872f83a69954299cec03a60f90a46fc37cd 5763 kissat_4.0.1-1_amd64.buildinfo
 98397ffb22d9244defd07640abbdd66afb40dceb360e61b09aac6a09bac3141c 355404 kissat_4.0.1-1_amd64.deb
Files:
 5a5977f624185abc36203c4e0725ff83 1621 science optional kissat_4.0.1-1.dsc
 fcf566984441fe0703230b15e7d1bff2 531537 science optional kissat_4.0.1.orig.tar.gz
 e621ca469066aa4d4b9d167c36f90b77 3308 science optional kissat_4.0.1-1.debian.tar.xz
 adaafa4ec1a2088fb72139df5c2d0f46 1317700 debug optional kissat-dbgsym_4.0.1-1_amd64.deb
 d32c12f2303369eaf99d02ca00af0dd6 5763 science optional kissat_4.0.1-1_amd64.buildinfo
 7706cc350db2e550d5d3a19a97825869 355404 science optional kissat_4.0.1-1_amd64.deb

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

iQEzBAEBCAAdFiEEBLHAyuu1xqoC2aJ5NP8o68vMTMgFAmcI44sACgkQNP8o68vM
TMixmwgAi/xRCGH2kNZJjqUjKD5UtIXWcZFa/c00Jb07A147UxgttCANgVZqop8P
MAHmMOFMxh/eR9qTMOvdfNFfiBEP3GW8xCIXrtxXSYae2F+Xa5Ln2xu+Q1/RpMaA
Bld5tmye7cPV3eiVliaDFUhlXciyJMAf3DdnCw7PO07Q4RwJ2NImyrXa4Hq1y3rI
zGFvy0RSvAZbOTgAoKt8+1d66sxv3tFim80MLehwkBodAUUtIjSW7dtWkRu/GnlN
PKjSO1eOHFT0u8ilw/GjyH9yRipDpl0YplNZ2X62y5yOTmd7ZuIbaD7Ea6EJjFko
WJ7nvYGxIwdb43e91UKcdA13Tlhung==
=EZ4l
-----END PGP SIGNATURE-----