-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 23 Jan 2025 22:42:08 +0100
Source: coq-gappa
Architecture: source
Version: 1.6.0-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpu...@debian.org>
Changed-By: Julien Puydt <jpu...@debian.org>
Changes:
 coq-gappa (1.6.0-1) unstable; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.7.0.
Checksums-Sha1:
 649929e4ef91ca4e0ddbcf608e730432fa5a55ad 2095 coq-gappa_1.6.0-1.dsc
 385841bd79cf860d986345ffb54045ca02a9d852 75644 coq-gappa_1.6.0.orig.tar.bz2
 876b25b65723e676431855a6e17109c900889a25 2344 coq-gappa_1.6.0-1.debian.tar.xz
 55039c32403b2ee3aa90b753972f3d92dc12af57 7487 coq-gappa_1.6.0-1_amd64.buildinfo
Checksums-Sha256:
 2ff15a2e06e1c832bd09bbc371050fa51bb92d95a857a9ba0352b312627411f0 2095 
coq-gappa_1.6.0-1.dsc
 b928c74832ad4e2442c702e99f1be06682ccf5ef23a913bf4a9a0c2a7f813497 75644 
coq-gappa_1.6.0.orig.tar.bz2
 a16e3862b44fd23e46802cc72b3791d572aef831ce4d89c9dd8f61c99ec632d8 2344 
coq-gappa_1.6.0-1.debian.tar.xz
 113a67ac8c66295e7e2de413fa949e9cdd85a7a192dd8e54a162741cc7cba83c 7487 
coq-gappa_1.6.0-1_amd64.buildinfo
Files:
 bc361c1f5140e8071866a85f244ce486 2095 math optional coq-gappa_1.6.0-1.dsc
 98009fef3b676b80f457b4ff5c4a466a 75644 math optional 
coq-gappa_1.6.0.orig.tar.bz2
 78b03a4656f9e83975fa644a97fe2d7c 2344 math optional 
coq-gappa_1.6.0-1.debian.tar.xz
 d5d404efc189676a00f870a316cb2d96 7487 math optional 
coq-gappa_1.6.0-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmeSuD4ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUY35D/9ebPzg3VRL1FS/aHWi5ZPz
wKGfZbiwitypg8KRhBMRvDm4wG6wG6x5LcDlfcIOzVQaURc6MqRrAn/aAuwhkans
HptU1wcb561U7gWNhM0H99R9XbhDV/HUco1Mnt8H2JHYY2bR/6Zcs6PMpEtMEBq/
LUl2ojWi++x/dQOZqGbDx83HEgHjkoIwxj5RdffqQHfOdKZo+XacG8kf5DZM+Qjs
JibURkGdMSaa2NsZjQ6+eSRFccQ5aSi04vhy3g9NJSzTjBTHhCwGlNn0I0PZL0e1
ULKBmoMuXUyY5W2aiUf+jsOTuDIV0aBR6tRTStrkY2H4svoxrYr3I4y8R7zDyWjG
afNhHcEbOWHNoFnmxo0IxydokxEdB1Z3KUwy3kIiVoMHQyjJfRyXucduS3pqWmAc
OmZkHDuJ2s8lEOB69T0U6YjxESSTMHHCs2IXGglCNhrocgq7WOFq9dKfVj/ANLLw
el95PWJ7eIuFP8gU5vKfOFxi4zpUtZgISYLXr8NyPSgHhDE35ZNVjNaifLZACnaO
oiFRrKSXSI5inuBA44YG9vNOk6icoXQ4VVWhmYffm8QHVEBCbNLJLBTaaTtfiyQ1
6bA78noF5ObNUxFZ76S1GQw15EwCFHVKn6/pvdjVyYvzxF3uxQRt8lLAK08rh7iM
tuYJ2VTmQIhwBpD5JKVdIw==
=9v44
-----END PGP SIGNATURE-----

Attachment: pgp1tiMGSIgl8.pgp
Description: PGP signature

Reply via email to