-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 10 Oct 2024 23:39:25 +0800 Source: drat-trim Binary: drat-trim drat-trim-dbgsym drat-trim-examples Architecture: source amd64 all Version: 0.0~git20240428.effa1dc-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: drat-trim - DART-trim satisfiability proof checker (binary utils) drat-trim-examples - DART-trim satisfiability proof checker (example files) Closes: 1084889 Changes: drat-trim (0.0~git20240428.effa1dc-1) unstable; urgency=medium . [ Shengqi Chen ] * New upstream version 0.0~git20240428.effa1dc (closes: #1084889) * d/tests: add a simple autopkgtest, enhance test harness script Checksums-Sha1: 83cf0fc9b3ace28261b7c229346e1e5d031b013b 1876 drat-trim_0.0~git20240428.effa1dc-1.dsc 440000b93c7eaf7e2dffd291797cfd00c1ff0b9e 7294411 drat-trim_0.0~git20240428.effa1dc.orig.tar.gz 3bb99932603dccf27fdd3dbc94aff822dde420e9 3192 drat-trim_0.0~git20240428.effa1dc-1.debian.tar.xz 9abac7730c163879f24f5f4f4dce6eb841c28d2b 66768 drat-trim-dbgsym_0.0~git20240428.effa1dc-1_amd64.deb eff79b75a9ae84415c556d9ba46085f5e71af9e6 7238236 drat-trim-examples_0.0~git20240428.effa1dc-1_all.deb 3afee2c66845e00af3aad1b2caa4a5c248cf6f16 6339 drat-trim_0.0~git20240428.effa1dc-1_amd64.buildinfo bfb1692488f643fd857e690532193eaef35b5a33 28668 drat-trim_0.0~git20240428.effa1dc-1_amd64.deb Checksums-Sha256: d1fa0507684702a610acc761d2332aa651389dc875f51d27d045c185b3d2f101 1876 drat-trim_0.0~git20240428.effa1dc-1.dsc 367fdf2ca1bd18d9a5de84dd2c2d159289c97ed86c0842346f60c5125d5f3034 7294411 drat-trim_0.0~git20240428.effa1dc.orig.tar.gz c46407fd24e59d1e10ccc653e1fab55f996702d893fcb8c970eed8b3b9e65a15 3192 drat-trim_0.0~git20240428.effa1dc-1.debian.tar.xz 5ac7826806086563343cfbdc36c207a19da6dcbabf81a938510967d833f94681 66768 drat-trim-dbgsym_0.0~git20240428.effa1dc-1_amd64.deb 20798e12308c9e8a897701d2643aa5b62c63110bcd8b3a18e6bac0d4a7ba1314 7238236 drat-trim-examples_0.0~git20240428.effa1dc-1_all.deb 7db3bfbf0aa8a6ad65d7af077eb785ef96fbe07d22d2dec165ab92fc4693a47e 6339 drat-trim_0.0~git20240428.effa1dc-1_amd64.buildinfo ac9c84b455a43492b80b7baa9794ba02ad927f1143d080dfae6f8ec3fbc014bc 28668 drat-trim_0.0~git20240428.effa1dc-1_amd64.deb Files: 4cb1c0034eed1f46e8f1c923557bbbe2 1876 science optional drat-trim_0.0~git20240428.effa1dc-1.dsc 22904ba93b267bbbb5d27e4a97b6e028 7294411 science optional drat-trim_0.0~git20240428.effa1dc.orig.tar.gz e1d0d1e4b46a2ccd93b32e6c4498e68d 3192 science optional drat-trim_0.0~git20240428.effa1dc-1.debian.tar.xz 9a729a95de7b35ff38650694763e8b8d 66768 debug optional drat-trim-dbgsym_0.0~git20240428.effa1dc-1_amd64.deb 75df37a50cd5c60f3e53ceac3c344c97 7238236 science optional drat-trim-examples_0.0~git20240428.effa1dc-1_all.deb 3fb2ab0d7571db79d33a36107b8100e8 6339 science optional drat-trim_0.0~git20240428.effa1dc-1_amd64.buildinfo f97edf6415f9fcf1128c7b71f1105838 28668 science optional drat-trim_0.0~git20240428.effa1dc-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEBLHAyuu1xqoC2aJ5NP8o68vMTMgFAmcKlDwACgkQNP8o68vM TMiU9Af9EXobaqQx9G+EyYUjJLyD6MjJfVkavnCLHjUusUgpydF/UyfqRZ1GTLvS 3USB4fCa09AYJhXiKYvtz1n4d3svTv8l8BqXpHgJlmbzoqdwhV8fCHSc+Kwpej2S lHfXTWix4CkCW7fd7XzupbyYRTEPKWUJY6hoZCGJhdfLDE3soZhe/0voi70M936/ zlRwJ2SUJP5w1KWhPw1hZEd9Y/rVa6n9AHMOt72NuzQ4iNwuhHQcuQkr4ard7Hsl lCp7i7AvKLNZKklXTM1YIaA3vgKvizmVpUP2vs6VBjLq424xUaCAURWbT4b6nC6E IkLffE/3WLd+tJ6xr9PLPZG6YNmQzw== =II8J -----END PGP SIGNATURE-----
