-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 14 Dec 2025 20:04:17 -0500 Source: cadical Architecture: source Version: 2.1.3-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net> Changed-By: Scott Talbert <swt@techie.net> Closes: 1122627 Changes: cadical (2.1.3-2) unstable; urgency=medium . * Extend test timeout to fix FTBFS on riscv64 (Closes: #1122627) * Update Standards-Version to 4.7.2 (no changes needed) Checksums-Sha1: ea3e78b78da3000df0ebc8f12c4889ca19f1d57b 1996 cadical_2.1.3-2.dsc de87ee2943b7a071cfa4488f0a003223dc0e3f82 4620 cadical_2.1.3-2.debian.tar.xz 3fc3b9a58087d9c876e9973d1ffeb472e73720f4 6293 cadical_2.1.3-2_amd64.buildinfo Checksums-Sha256: 9c7decd99b47992bf716c8cabce7052fcf6ab1f4de9d3b35e6c0d2b852cb8953 1996 cadical_2.1.3-2.dsc 35f5be306d270a5cc65cd6f8b2702d72c7c6cb3715412a63cc304ba07a5fbf3c 4620 cadical_2.1.3-2.debian.tar.xz f3b57bf778f78811b86f09d3bd496d1d887a5fdb79cac0c8232a8d54b67a6e64 6293 cadical_2.1.3-2_amd64.buildinfo Files: 8544471715efe6e0db3f8b8d5acb4e53 1996 math optional cadical_2.1.3-2.dsc a6ad8ac455029156bb48b5a8e1c07c56 4620 math optional cadical_2.1.3-2.debian.tar.xz 66580180640f9f1eeee9854c54bef389 6293 math optional cadical_2.1.3-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmk/YVYPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiBuEQAMEngA/T/rarfM/ofKy+X7fbpiUHkz/miZJb AaH3jeozwsT6C5kvhLGle8DZfb9M7CQegYEJtyvHpkbfk2JR3d7GpvTB07/usiA5 ZUoajckpr2HWwAuzofhGipKhmKHGkQ1WOZyZQ8Ay+0eyFnDlivAsDNBbXwHEnq2I TgFKTABzWrMTKd0+wsq+I105ICXfefxCSSyPEhFUIWm5FT3ebFuXVtqQ+ysX8zrD ixtmGIibt9U9oq0WVZjpnCjI8B1Eq+qhSNMe3KgF+l5hB7DekPzH/91lEUkhhT0a Bzxauzb397DqoUkTeiPmwfWDC1cpFfcbvzEW0TKcmOO3xgMO0coHng2rKiKvIYEV Cv4sLU23k5eLAvz0IBGbGZe6JmVSQHGqSRospA5aRTH94m/4U5A3ULV+nufMZ1Qb OQUxECzP8k2DucrHs1hKi7T+v2ylZo7ppXH3egddVO9D+u2vZkeDNVxnl5+Vob2o doxSj1FA/GlO74HxR1BJxY+V3haZ0s2vZ9Rc9VgTs7F8kFMAHynjTfaM+H8kHyEH d4oISpCmpY1cqewldAF1we1gtm/rrp0W2aJT6uaFFLzZJGO2sz953mJ1zbNIRg3N E2O6JtqGn9Ga5kFHENE/KVL0YFGvUX1YNq3eyMvuMIZyk+6p17boeawNSYfFBbq4 bjwPTeRO =PfY5 -----END PGP SIGNATURE-----
