Accepted mathcomp-bigenough 1.0.4-2 (source amd64) into unstable

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

Format: 1.8
Date: Thu, 23 Jul 2026 17:50:58 +0200
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: source amd64
Version: 1.0.4-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-mathcomp-bigenough - epsilon - N reasoning for Mathematical Components
Changes:
 mathcomp-bigenough (1.0.4-2) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 aad95af21f64ce96e97952a7681079b60292f22b 2169 mathcomp-bigenough_1.0.4-2.dsc
 de445845fe60bf0512c1bd6a08b71ce29dc7c013 12393 mathcomp-bigenough_1.0.4.orig.tar.gz
 5f386422195fd98c22b315756162cdda29172fc9 8936 mathcomp-bigenough_1.0.4-2.debian.tar.xz
 5f2c03bb8d69dd612a7bcc5ff081570b8e360ab4 21712 libcoq-mathcomp-bigenough_1.0.4-2_amd64.deb
 c724e89481f6ccfe458e8ba66098faeb9a2f3dc4 7412 mathcomp-bigenough_1.0.4-2_amd64.buildinfo
Checksums-Sha256:
 63ba409d5aa10d1e12013f40574a175d297b693579a5e75bfd4c41b8bcb20841 2169 mathcomp-bigenough_1.0.4-2.dsc
 cb14fd2d5200f3758b580262245bcf694a47ec7265ed692a616ce911d16392c2 12393 mathcomp-bigenough_1.0.4.orig.tar.gz
 6b1a1a0f1da931ecc051c6399933f9a9787d333924267ac2c4ed421468c4835b 8936 mathcomp-bigenough_1.0.4-2.debian.tar.xz
 5c8870d1e74dcc723081d6add41e7a6769d24db5ff3023a0841fa837178ef4ff 21712 libcoq-mathcomp-bigenough_1.0.4-2_amd64.deb
 96e33b1758fd8075065d19a8bb80acb568e08acaaf8ed84f073670854416eea2 7412 mathcomp-bigenough_1.0.4-2_amd64.buildinfo
Files:
 7cfb2ebae4f5ed49330edcefd0c3d511 2169 ocaml optional mathcomp-bigenough_1.0.4-2.dsc
 122ea1456196afbf6fe0b396e059172a 12393 ocaml optional mathcomp-bigenough_1.0.4.orig.tar.gz
 0a9ec484f96d741bcda57fe3f3fd6f27 8936 ocaml optional mathcomp-bigenough_1.0.4-2.debian.tar.xz
 e62b172a95d646223fae92e2e01ae860 21712 ocaml optional libcoq-mathcomp-bigenough_1.0.4-2_amd64.deb
 f53be7dc12a2e084f6c31540cc3e7cae 7412 ocaml optional mathcomp-bigenough_1.0.4-2_amd64.buildinfo

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmppnwMZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUS7pD/9aOdBTVd25pawTPzalFj5X
b9TyWkgyDXiTg3Lx+UzFxMyDuuCfWkK3WodbUAMZokynPxXJ+Jr3SvGiAR6RBbYY
xMTER7Kf6hSrftrz7nA8sf4nHuqRgpvDGGAnPli+Omg/GLrzBXyiEYf8nzVW3Va7
/Lgp3DF4whZ3R86+WNHcuQpxij30aCypwYV1ngQe/hrsWOGp1oM450Z6G67FoQNy
zaOrDSdaxruDqfHtk+laRX6K7DEsaokFkILrlQE9rXxEeAtbNbzTWmV5OlQ6JiRY
uAgH0GQXUnQ7n+n5ecbQn2ISExetB+TuNCgPbvLpZEfYRtd5SJfgNFA1aErTsaQU
1BQVMPPNl69tyUzZggPE8NF2T9wgoZ+RUVy5uhCPoYvVgkJnj4fHyC7cdB8aAYZl
GOyi4rcmTlep3gf5Qf1OvxGesoATRwd16jRMqzv4XvaUseoNe2e/rbXC5d6UG7DX
wOAaWZsXIKDUzBDlgmXCBkN5dI/vz7sZusvslN1pNXCWXlhvznLfQPVI9Cgk6kN1
nq436u9J443qNqM+Z6EhGV+ojOsCBGu6SzMcP6ChAyFr6FH817f12DcyWXfWs265
tgSfQm47u3m/YlzsuKfkzIRV+e5PuekMD9yOvqdYL1Lxv43SCLHRAIQJLFHo/eFU
2XzKDNJVP7g6bi60v4z5Mg==
=xEE/
-----END PGP SIGNATURE-----