cadical_1.5.3-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Tue, 01 Nov 2022 14:47:18 -0400
Source: cadical
Binary: cadical cadical-dbgsym libcadical-dev
Architecture: source amd64
Version: 1.5.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at alioth-lists.debian.net>
Changed-By: Scott Talbert <swt at techie.net>
Description:
 cadical    - Simplified Satisfiability Solver
 libcadical-dev - Simplified Satisfiability Solver (development files)
Changes:
 cadical (1.5.3-1) unstable; urgency=medium
 .
   * Initial release
Checksums-Sha1:
 83a61bfef6b1364360ad0f82c56c42575b292eff 1996 cadical_1.5.3-1.dsc
 c16961351e809d592116aba68df1a21b6f4b6680 596378 cadical_1.5.3.orig.tar.gz
 44b0dda077bcc658630f82415ddba585bfcb559d 2924 cadical_1.5.3-1.debian.tar.xz
 1e468756d59d27e00f15f59cf211749380368bc3 7931224 cadical-dbgsym_1.5.3-1_amd64.deb
 a2e40a474785ad7a0db7baff733bee6d6f26ed02 6708 cadical_1.5.3-1_amd64.buildinfo
 11d1588335faa49ae9c0ef2be8a50fd3b0f3a948 338884 cadical_1.5.3-1_amd64.deb
 f97fffd89530625845f4354c842bae6f8462b62c 303572 libcadical-dev_1.5.3-1_amd64.deb
Checksums-Sha256:
 4bba1497b765ff62f5d09d1cd116500ad862d825354588ca18096586592e8b7f 1996 cadical_1.5.3-1.dsc
 0ff521ed36d57478a8dbc610e0d27536c9d3a2154d859152f33f8733a6dca31e 596378 cadical_1.5.3.orig.tar.gz
 513e4629fb5f8e924a754e41b6b986530a75db8bdc821e93d4c97a9879fc6602 2924 cadical_1.5.3-1.debian.tar.xz
 44cd928cc845b4a372a86fb8f6d550686293b57ffe5407001955bbb9ea2dbbf1 7931224 cadical-dbgsym_1.5.3-1_amd64.deb
 b23ed91458529b990ced24b441cd200c4805f522957b15cf47892eac80a1afe3 6708 cadical_1.5.3-1_amd64.buildinfo
 ac31c379a4c470f877dc643cc71cbaba2f77540f62270d8357ea4930d31ade02 338884 cadical_1.5.3-1_amd64.deb
 4f5dd092d004387391ff2a9386a8e197b68fc1ed440edc907fbed86591e0cb0e 303572 libcadical-dev_1.5.3-1_amd64.deb
Files:
 8c98cea4b551c8f6c7f135813fab283f 1996 math optional cadical_1.5.3-1.dsc
 8d75865354fbb90378f3011c928b9761 596378 math optional cadical_1.5.3.orig.tar.gz
 e83711ba196ee4efe291e944c67e3ff5 2924 math optional cadical_1.5.3-1.debian.tar.xz
 4d1bb0d35d6caedf1157a50437b11eb6 7931224 debug optional cadical-dbgsym_1.5.3-1_amd64.deb
 6ea761260d53a346da7bac31140da991 6708 math optional cadical_1.5.3-1_amd64.buildinfo
 da17b4e8c823da77349ca30aed915b33 338884 math optional cadical_1.5.3-1_amd64.deb
 479fd34a05a8a0901d77f9dbc6595aed 303572 libdevel optional libcadical-dev_1.5.3-1_amd64.deb

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmNhf7sPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iicgkQAIBXgC9sc5+FgBmsyngMonveijccd6K83TkK
n6GGtkHunvruk9kOVw85ZDFaQo0A5Jf5w/XYwEiCOqEY/chEaEfBvzhH9VBVlLo5
dOkbKMfpS71gskcWCZZNWWEUOiUJLni7Sgb/kDWtN1MtNGusMX0EXc+lxVCbfG7O
bYBXdRekRkeQ5h4N9SVBkmPQzALrGHBi8XLO0ugjcEDIvEwmNDd7IRVmbC24wVFy
x5oWNi9pP+TvXoz3OJGS7T5bVhv3IU5kFuvKvPZ9ORRAlRGyS5Ca6tDtiXz87gKp
jFZGNtxecshyfVFTkQfhX2dGFCkPWWjg7OEGBxpHBPlQC7NDgVHlYYQ2r3SaQ095
ynSbZTDu2UUsnu69YNNSDcrbCZsy3nvrFvjYmiSJM03/WfWajTlmjrjVB+pDcDmt
DKQSCR8qQrmz0UDNjXV6aABTTckYGWsueK860kRyVU/yNVGQeysA/rPzVlIvKfCc
Iejr0QbWpFddFYQKx51AaYGNQPdg3DPMZi+O65dWGTjSGDI9r7nIdmciDKamfkqj
v5TNDekp3GBSx837r6TJCIUIKSAsIR7smjjhC2yUzL007ryvRLUH7CQz2L2GrXTM
YL832kfuvVBRwTcTHP8sqlEXom65uGsR3zgICHb+96a0EkG9vkLiPDp9VhEMDBPK
bRU7UbFX
=18vM
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.