-----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@alioth-lists.debian.net> Changed-By: Scott Talbert <swt@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-----
