-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 20 Feb 2025 16:28:25 +0100 Source: coq-gappa Architecture: source Version: 1.7.0-1 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpu...@debian.org> Changed-By: Julien Puydt <jpu...@debian.org> Changes: coq-gappa (1.7.0-1) unstable; urgency=medium . * New upstream release. * Drop the patch for Coq 8.20 support (get around with d/rules). Checksums-Sha1: bf493f8b24230462fc98c8a9048cb367b699b54a 2095 coq-gappa_1.7.0-1.dsc a9cbc12c2e5fe4ec7596841abd3d050227c976e2 76391 coq-gappa_1.7.0.orig.tar.bz2 5433a265dbbfc567adf226d8accc40a120dacf35 2208 coq-gappa_1.7.0-1.debian.tar.xz 7502f9db5abeb651c2594fba7bbe57c3e9dd0240 7316 coq-gappa_1.7.0-1_amd64.buildinfo Checksums-Sha256: 5936df692cecc4e03efb593f1919ce0dc8c23c05eb71f12ef789c7438fe00593 2095 coq-gappa_1.7.0-1.dsc a3c3ade574d20e08cd975377ebc31e1b498847f6b06e9f165b4329f1f1b292b6 76391 coq-gappa_1.7.0.orig.tar.bz2 9c908d2147d4e05ecac160d1c8d91fb14db3d3afa6fedb57b12547cc28201ab1 2208 coq-gappa_1.7.0-1.debian.tar.xz 6dc4c77437eefcfe343afcf95964ae0a2f6d5214d765928cc4cf5ad2046e9246 7316 coq-gappa_1.7.0-1_amd64.buildinfo Files: 21da5758e52624ba83f0780a1cdc0143 2095 math optional coq-gappa_1.7.0-1.dsc 5697b7315301fd9034a649f59784aaac 76391 math optional coq-gappa_1.7.0.orig.tar.bz2 d979dc7e7ccd1208a14293d36c742f75 2208 math optional coq-gappa_1.7.0-1.debian.tar.xz 0cc23ec340512bf96b938d847d061fe7 7316 math optional coq-gappa_1.7.0-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAme3SqgZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUal0D/9g9RO7T1yXYnBDPfoQt6Pe 9c/vg9t04eMB4ArHOrgsfDd6OM+Yubx29LDV2lfVdro4hDM/DN94NVxbCnyVv7xM dGMcpi7tFWDloVFZstcp9VQsDyXDez2NmeBaCKT/ZK9OJRYOmgtSafYI05n3gSrM nGOozj5LJv7mJ/lDyy4GZxmILr2W85i7lF40o6F9b/Ei/yM/ITpnhHo3wOkuajJV JWdqTD4v6APeh1stkM83KpmnoicSyRqqacMqHYwk1UaZ5t0IjwW/myPDFprQtEVl TVlHH/gxVjU4UbFDJfYGK59o8fA0MM6hTyt0YjjEP27NdRrG+zGqJuwJRbEs40n8 1U3GFE7oKUzDmFKoo4cmCN28hfFJ46Jmf/GsEpQLAqnel9Y+HuSUPY9eSh9vee+8 SNSGuBDhTf/xzbWXktN8C2j7rJA/tq0NQZHWhYqFefdDi8K1+67aysQBT2qgLIVu 5UrHMlEkjbWz4lrdS1VlDRyhKmKnwzWyLBHBZ5ZadVdfWMSlWyQLm25XT1TGY1gs KXMHEluW7N5OPbbbsex103IlkGsrhB7uENlr27RRHM0J0xzNMdNXNHt7Ob+x9k5S n2kD/hbGAJfZgA6kJXk/x34u2GO9vcqqmbuU7sUdDz6SbwwgpbOhZs0AG6ktDVSA SoAnglHVR/m1R/tSEr2Lxg== =P9PU -----END PGP SIGNATURE-----
pgpl_0KAkhVTK.pgp
Description: PGP signature
