-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 22 Feb 2022 14:17:45 +0100 Source: cryptominisat Architecture: source Version: 5.8.0+dfsg1-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1003993 Changes: cryptominisat (5.8.0+dfsg1-2) unstable; urgency=medium . * Try to make the build reproducible (Closes: #1003993). * Bump standards-version to 4.6.0. * Document reproducible-build.patch as Debian-specific. Checksums-Sha1: 634a2ad66f37ad1765849f5d7983b9fab3c7f4a3 2408 cryptominisat_5.8.0+dfsg1-2.dsc 7d741c4dbe968dd52427c310142d9ed570f0eea2 6264 cryptominisat_5.8.0+dfsg1-2.debian.tar.xz e582621ccf5f929a9e0c1cacf1b3646b3225cb93 8411 cryptominisat_5.8.0+dfsg1-2_source.buildinfo Checksums-Sha256: 10aceca40908d4d4247c4edd9987e044a4fdb8653d43f9160eccd0fb1588c806 2408 cryptominisat_5.8.0+dfsg1-2.dsc cc55a518449703e3d2695cc59a3fcaeb4cf908aa73d207596800843c1d0be69a 6264 cryptominisat_5.8.0+dfsg1-2.debian.tar.xz eeafbe6f6c94fa6e419d77fa934fcf10e13277043fd4aa8b47678ea567269fef 8411 cryptominisat_5.8.0+dfsg1-2_source.buildinfo Files: 55f6a2505dca543462059cc245ec44c9 2408 math optional cryptominisat_5.8.0+dfsg1-2.dsc 51986ea3ab347f952c9450418e4aa869 6264 math optional cryptominisat_5.8.0+dfsg1-2.debian.tar.xz b6d981e9bf5c8df6c76c1e58685a9e87 8411 math optional cryptominisat_5.8.0+dfsg1-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIU4qASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR9dkP/0j8IpM0o0RIwNF1pG5WaZ5AQqNyYZQ1 Xv58vhUcmuA0crt0bNGN8QHC2VuvjG2fJiOz6vNES8YcMNBGbhQA5ygKiz5CYfQI YX5SNa5ee8QYIh1mu+eaPSEn+begeLnWSuMH6UUBY+h6AhQj6s8dJuJccen/t/5A x8MQ1l8LA+0aiiyoZd0YcziLObuxcp1fveAX8hqr5bLSzXC9d9fW8h0CkPXL4Qq3 enBKXXciuak1+FSEKkgO1Jgc1OCnrK8WgcMtAOdOLXWt9/FzNYcZCXxnR7W6n+KF fJAcP7TWAVgX9ChsHyKtk0DhRB9nIoA26BpPuepelOmx2AC98tAWg0V6oqJ8Ufap WpPE1Vzmu231iXSl/wgfghlLPzlpZFDuXmGMmlJ7YjhMiAvXxV5W+ysUVSXW/+s0 B/ug/X3Hp5aBY8d46gAHSCT9Uhf9gWluhoF3Dq8xPEvvdbrRc92i3sCRf60uPoYa ktt8YKxobHLDCf/lqrCfuTUSQmRHzHGuoaAzd1K/9VBw3+TyecW8Pb2rwr1VPi8g BsqrFdmx24FhJV9lHCwgD7iDcfEQ1lnGireHXHVRFYLOc7/okzL90E0D0wgmUcKi pYzlcJYWU+INVeureT6snMzIorTQmKQo6gu+Vdy3zqG4dBXs5kXUr6wDQrI20OX7 XcYcbNLK7AzT =A3lu -----END PGP SIGNATURE-----