-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 05 Nov 2026 15:34:16 +0100 Source: gappa Binary: gappa gappa-dbgsym Architecture: source amd64 Version: 1.8.3-1 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: gappa - Automatic generation of proofs of arithmetic properties Changes: gappa (1.8.3-1) UNRELEASED; urgency=medium . * New upstream release. Checksums-Sha1: 297d0de67977e13a26b67dd5865f639b00377cb0 2012 gappa_1.8.3-1.dsc e2226342228cb67e7bfdf0e3d9b139768c10dc60 324525 gappa_1.8.3.orig.tar.gz e437b641a5dd546ae520265e7e2e1c1379d851e7 9248 gappa_1.8.3-1.debian.tar.xz 78d99ee7eedcbbec63007bf935925718a06d3351 4483276 gappa-dbgsym_1.8.3-1_amd64.deb 62149ce6efc5066c7fcda131a9b11118ba65d11d 7549 gappa_1.8.3-1_amd64.buildinfo 23c272d78e9d87e60115b19453fdb2f267b62859 484636 gappa_1.8.3-1_amd64.deb Checksums-Sha256: 339ec212a257022bb13a33b88552ec3f00a9f3ffaf44cab1c00a8c43e428d264 2012 gappa_1.8.3-1.dsc 13813fa3f8c0ac578e4f8d8094608da3f52c1e9bca6d1bd9f52234a94d8e027c 324525 gappa_1.8.3.orig.tar.gz 9d8aad1f1f24905cbbfdad7b2e0a65f6be99f00f212d4a4c1ef749590ad795aa 9248 gappa_1.8.3-1.debian.tar.xz 2967b27995027a0b8f4e78a5e62741b5b3c0471326a8a697cdaaeb71ea7bca4f 4483276 gappa-dbgsym_1.8.3-1_amd64.deb 3c1ff470a3c19ed65bafd3d9409bc21b5a2f44e205499c7fc0e938efe1ce8d2d 7549 gappa_1.8.3-1_amd64.buildinfo 8c4ab76d59bcb025242b255caf970a83b1601a8ace0bfa05adccdf16479520d9 484636 gappa_1.8.3-1_amd64.deb Files: a1ca5fe85fe2ceda744213bb1da9d097 2012 math optional gappa_1.8.3-1.dsc cee5ad679a3d37b4e0bb5c92613468a8 324525 math optional gappa_1.8.3.orig.tar.gz 21a54a09940db98e3d392325ee0ea0cc 9248 math optional gappa_1.8.3-1.debian.tar.xz 9aa8e439c5b403ba762120338535d4e6 4483276 debug optional gappa-dbgsym_1.8.3-1_amd64.deb 699851cf412820e6eaf7b93b8c5be47e 7549 math optional gappa_1.8.3-1_amd64.buildinfo 234f5d184f443cbc7240f91c57486850 484636 math optional gappa_1.8.3-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmrsl6MZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfXJEACOy9VUiH5CghUH/jZiAlTw BMQdjw+2UTyLDv3l2x79o1DMvyHmi5G4XVQw1OAhdjFByyIVOOq5HtyLI7B9ETiD fDSq9FvZekNVWJoREc4z4ch+NqrM5Ou9zRvryfej/9il+13aFuZbSIG7Ua5hhSbF hkcuPOhbqL3rU9tCexFrWnUkGVKCrnQhBKc1mNiP5t33smA8hAXBlJFW761AoShV XOe//NkXnMU2KGZbN89WwFtAPYb+jnw3ABvAvh8kN2RC2qz3dodLOFJxQQhSgvCa 3C7pFJ8DYcSZ8OMEhF8d5onsUKtrzCOinRvHcV7jR3gAu+ZopQD7ZSLWdQz1Hq9h dkxismxdeKqwUO/opDYzik51omwXWGi9G9rXpYhs/JEKp3OwL5J1e9EDPT631XYv NB45rCgbQZTc+UPQY6MQqyNbnOiSjAWnbKKsvvSXD8wOH7o5ke9WzB4pUZO1opQh gb8KTzfSFU5rQJtIOChHjIOb5aZs7QNKjckTBZhXd+pxFUadm0H9jUz2FO2GdElZ RQo9MUi17fq89axP8uP14NM+eiFbGe1rFe8RCUwxxOlLtEuS2c2PukDV/VIfNUk/ GX+NcqpRHKZwxaXXhVxOJamORzIKiWudUDDDzhvYszmc37a8DfGB/xuD+H2TaN6Y xQl5yAcXYyPx2XBeeOrbxw== =5/vw -----END PGP SIGNATURE-----
