-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 28 Jul 2026 12:16:02 +0200 Source: gappa Binary: gappa gappa-dbgsym Architecture: source amd64 Version: 1.8.2-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.2-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.7.4. * Rewrite d/watch. Checksums-Sha1: 993bdb90cd11c5d737da3649a777a379b6ccd913 2015 gappa_1.8.2-1.dsc c1f5c8aa6b0e89c0d85889b38c8f22a241e0ff11 304811 gappa_1.8.2.orig.tar.bz2 645c4ca02d6c559f339a46b1049d31850954ccad 9200 gappa_1.8.2-1.debian.tar.xz 562e82a0e96fdead80b4305b23fde574a62cbc18 4163592 gappa-dbgsym_1.8.2-1_amd64.deb e6909b307b480388292e1b4d7ea318fbff649385 7400 gappa_1.8.2-1_amd64.buildinfo 325a993b4dde733bc39ad0ee7774ba6e3cda1fff 452472 gappa_1.8.2-1_amd64.deb Checksums-Sha256: b36d160d5802ac1a3b67fd1c05264044a7e5b5047f00fbff53667a91505a3c7d 2015 gappa_1.8.2-1.dsc cc5e4874a0d858ed1423bb480af497d42fedd70ff1106a540258c70e1b448ed2 304811 gappa_1.8.2.orig.tar.bz2 a86aa3f26b19897bca0d7a59e0aa511e806d9e06ed4f41df2f67dbcebe1683a4 9200 gappa_1.8.2-1.debian.tar.xz ed19b35fcf1017d292059935febb26a8931699f128f4001dc525bb0d80f8884e 4163592 gappa-dbgsym_1.8.2-1_amd64.deb 98929e9c8d7d46655e9b366ea1cc98f7986b5a56f942bb72728b5e24e714b727 7400 gappa_1.8.2-1_amd64.buildinfo 84401eca58b2e02e76fba2e6910eade713b939806b39b9934cc1d66c333d2087 452472 gappa_1.8.2-1_amd64.deb Files: b603b575f8915f1b0b7f44a5950ceb50 2015 math optional gappa_1.8.2-1.dsc 7e4207824abfabc7a6fa1912c8798e40 304811 math optional gappa_1.8.2.orig.tar.bz2 b19d33d2eaf04131eb4b837b17f87406 9200 math optional gappa_1.8.2-1.debian.tar.xz 24998aaa0b2f619fd80b24d61d31a4c0 4163592 debug optional gappa-dbgsym_1.8.2-1_amd64.deb 4d140bddea92bc2ae776fa9b953a41fc 7400 math optional gappa_1.8.2-1_amd64.buildinfo 4da506c018a7e0064fb4364676f24ac3 452472 math optional gappa_1.8.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpog+gZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYB9EACbUfbyMk8R7f5rqYyYxCVD 5CAXz+AYK6sCU9nEJHxnlAZ+728Z1BGNRBR8FKqqTYCKAabP+KCfxWr96I1glmoC w0ifmI/H4/0GnrheSB9uxQniT9xS7G3d4qP3hf2Wrge6+93+XLAlWa8ST2QqWTwJ 0sHpHbNvNI786+ZjA81NnM1UB+TZYj1JSSvY1e7s+9kEp6UJGi6jJwukzl8t8Go6 UvK+08qwiMwkxbrjpTybR1WXb/FxjjV7rCPo6m/nqsi8vQnKzQ83jUYLBF4JHKFR 9DmkyxokVTibTbmUK3/VwQV+3FolxpgNJZdI8HH5DnDoYFwV9QT6yUM3itcXDxxp wZCe9//IZswE0rV10N7gP9q6u7+lnKfBfG7WECJcn/HEDwP3BL6nEA/5hDKxvieH dnT58KdLc1E1Qple/N1GPeA2s/lfc7tY7bV6clTyJjTaP3b0b5oTtCI9mjqsWCJf 2HW61xTFha7BBn+UgpjHXt4O6li3RvHpmsfxADtLkYsXopu7FnZV6wCoETvJ04qX f/GRoC9Od1/hDl8++GjERZWPJmF8AGqSr11saHioSqtnzhAhd9/6CwTDDfzOHqIP W0QfGNI3FRMXwZqZEg18LVU74frh2nffLpjIPILl4px1CvD/hQCHU/4L2nUDGTxu i6y9Rab8WrE58RbmJyr9Nw== =kV0b -----END PGP SIGNATURE-----
