drat-trim_0.0~git20240428.effa1dc-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Thank you for your contribution to Debian.



Accepted:

-----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 at alioth-lists.debian.net>
Changed-By: Shengqi Chen <harry-chen at 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-----

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 228 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20241013/775299b4/attachment.sig>