-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 27 Nov 2024 18:28:17 +0100 Source: proofgeneral Architecture: source Version: 4.5-3 Distribution: unstable Urgency: medium Maintainer: Debian Math Team <team+math@tracker.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1077126 Changes: proofgeneral (4.5-3) unstable; urgency=medium . * Bump standards-version to 4.7.0. * Rebuild against newer dh-elpa (Closes: #1077126). Checksums-Sha1: 254f2ee437e97c0ca099473202436b6d822e5a51 2122 proofgeneral_4.5-3.dsc 4811dcca260f66bef4e5f1699f0ffb66510e1f48 17424 proofgeneral_4.5-3.debian.tar.xz eca6c30f0257c77c000673e129e9d4cacd8e1876 13305 proofgeneral_4.5-3_source.buildinfo Checksums-Sha256: 8a0381b3c46e72e85ff88ab9a3b95f07da798895501294adb7dccb97e2420023 2122 proofgeneral_4.5-3.dsc b40ac95a1214a27100e9a981ee2b1e55844ed93372e457cf107155ecc1e301e9 17424 proofgeneral_4.5-3.debian.tar.xz bd84a61a97a1aa25380ebbcf9dc0d1815922bced31ea2dcc470bf11c8ed47dca 13305 proofgeneral_4.5-3_source.buildinfo Files: 28f850a93f6dd9c2b67c9d15598a86a4 2122 editors optional proofgeneral_4.5-3.dsc b4f539b38b2a0eb3d4c9fa7609266530 17424 editors optional proofgeneral_4.5-3.debian.tar.xz 8e6320aebdfc61b51ed65639d4c947f2 13305 editors optional proofgeneral_4.5-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdHVwUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRFPIP/2HdDIpP9ARs8mQI8tAr38W9Eunpgd+Q nyjvD7LfQkr5lELvuH59Z+xGxArNfo5ZN0wZr7SpTpssnDcbuEsV8ZKFOnPdIoEH JxxZPtmVdTq21kDFOrtBYxQdiiW9bdLOZWNNRH465ASiXb9hVIA1vkQ+DuRFmBjL Sv2OxQTY5TdpWScgAUgx66KDzhBn2wrh6jKpY7YT/SSZxx7vVUhctV8hyDT7MfAF cugTK3KUi38JroaD7iIfRC+3eNT9H2OcxkQxeu38ZqiWdzaW2sgG+pHv101LVd1d 9r8X6k6mowxuft+9xySuxjL1qv9gdU7k8IbXKw03PHf3vZpPfdkvj8P4g+vk2Q2C Rkh9RaNP3So6BNd/0Nocghm8rhzr3BBZV2B06gI2dPJjMva3OdfGmLyuqec+86v5 bROvLn+dpJ3Lma8W0R+qcP7dHgKolxYfVuan14fRg525Xq70RrGWWJQdjsfA/BpL tp77++8wfDEQzrUITSHfzhu65No8swrWpp6usrAFm7bSErCsaARqu1qfHfnVqwP0 RJW2wok/ycfANxg6SRs6tNGlDcJl24ygfTO8ZtagcHAdMTnRsxSH4qmgO4b8SHI0 kqdeNXDdWNt5zVmHw6f4TKmUz4eckYtgcLM1xTM2LGz/g9SaGi4WgW7JIJ+IglTN u1JBbJzUzUlG =xJkV -----END PGP SIGNATURE-----
