Accepted coq-gappa 1.11.0-1 (source) into unstable

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

Format: 1.8
Date: Tue, 04 Aug 2026 01:41:28 +0200
Source: coq-gappa
Architecture: source
Version: 1.11.0-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-gappa (1.11.0-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 b02168fbe0be61a9eb2cf0956f19c7787a84df95 2135 coq-gappa_1.11.0-1.dsc
 56bc9027c2c78a9c65d2169b81bba8f059dbe79b 92843 coq-gappa_1.11.0.orig.tar.gz
 405fd1a0268e572ef5a835744bcfe71ccc07619c 3640 coq-gappa_1.11.0-1.debian.tar.xz
 c364ad21d6bc6611c2bca093cb0486228d68b92b 6937 coq-gappa_1.11.0-1_amd64.buildinfo
Checksums-Sha256:
 8118e12f3b28925f35c800f83d14b547ff843359122e9474f2e144588b8b63d1 2135 coq-gappa_1.11.0-1.dsc
 434f5a567052676e2029049c15397d1e2f2aa28658e98d0973160411303b9b68 92843 coq-gappa_1.11.0.orig.tar.gz
 4d4a0574454ed297889e07bb38b6806c65fdaebbbe2bbb81ca71f9f390204bbc 3640 coq-gappa_1.11.0-1.debian.tar.xz
 36cd0e8e1a022af657791a395b9e1dee62d62e55aa5ff00e046cb56605afd435 6937 coq-gappa_1.11.0-1_amd64.buildinfo
Files:
 36520bb5727b64e2f061e87db8b10b05 2135 math optional coq-gappa_1.11.0-1.dsc
 8cd7788337a5cc319734cf195c71e0c8 92843 math optional coq-gappa_1.11.0.orig.tar.gz
 1a540a3eb8c855af3a24864583a660b7 3640 math optional coq-gappa_1.11.0-1.debian.tar.xz
 bcc2f616d7f4e868f8e64247363558a2 6937 math optional coq-gappa_1.11.0-1_amd64.buildinfo

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpxJ9UZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfOBEACWAy0R3lol45Ym53oda2Q0
IPwgsBTs3w5ao0PBTbN0KXBki+T9UVQlLeTFk1teWaez8oKDmLLe21h2BV1yD6hP
gOzZ5RyJIeW2/vYZD54OkCRdS92Td3kRBpxjGhvD797sqEuYJ1wGiSkiO+Nw230u
qr7eE5hHPPhTfgeKGDNj5vBZXiWpb7hsSdekmQ+5i0HKf01izmeHUScP8ci9lKYz
dVwn5Ij/JgCj1YTA26ImCTyivBsgrudDBU6iMe51L494AbPDofqIl4EQ+qhlVVsK
6GyBWV2hXjXh8amt8bHKtiR3mAvg3ylZ8GYHDyUvqbo3apgY1nbgdpeaODV063bc
Nz7xA1xU4OTbV31vWoSL96kMJQDcf47vfYDhUXkRGxaPsGTSkix2m5Xo1JFXNL+6
j4CM9/s2n4ZXuC2cCFTarnRTREUv0EGbSso1pIsDlUIl6tSsdfArYBIKsdmDSQ5Y
cNsUidz35PQL1tzTj8Mu8hiUPn0K3ZCr6732Nfn4C/YHi8U485vT41PLd6tdthNg
ZMJafonAyF7jtrjtu7wI8hUXE22f6IDnnHAtDSosohshQrmAA7hCeDlS0pmFNWg3
eLU3POavsOAk+GOhRSur8252zQXdWHl0RYCJUWit4HvP9tLIpgaxFpP/AKdqkdhA
ef5TnHpARHATUrG2jZGnwQ==
=Djl+
-----END PGP SIGNATURE-----