-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 15 Jul 2026 15:26:21 +0200 Source: mathcomp-bigenough Binary: libcoq-mathcomp-bigenough Architecture: source amd64 Version: 1.0.4-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-mathcomp-bigenough - epsilon - N reasoning for Mathematical Components Changes: mathcomp-bigenough (1.0.4-1) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. * New upstream release. Checksums-Sha1: 6d3f51f967bab6529cc39c382c36589124672de7 2169 mathcomp-bigenough_1.0.4-1.dsc de445845fe60bf0512c1bd6a08b71ce29dc7c013 12393 mathcomp-bigenough_1.0.4.orig.tar.gz cd484f30a36754090e23a0dc97691d1d9a82bddf 8912 mathcomp-bigenough_1.0.4-1.debian.tar.xz e28f3862b244d74a99e6bf4de398d8f639184455 21696 libcoq-mathcomp-bigenough_1.0.4-1_amd64.deb ae1a29089111ace49f689ab46211322d60c1a9c3 7484 mathcomp-bigenough_1.0.4-1_amd64.buildinfo Checksums-Sha256: 070fc52380eefcbcc5035e0001c5de107f13f9473affd84d679b6f222704291f 2169 mathcomp-bigenough_1.0.4-1.dsc cb14fd2d5200f3758b580262245bcf694a47ec7265ed692a616ce911d16392c2 12393 mathcomp-bigenough_1.0.4.orig.tar.gz 811d499238d84b4c3460909590e054bd73cbd9527e0f60c193ca4cbef5ce708a 8912 mathcomp-bigenough_1.0.4-1.debian.tar.xz ec749dd7bf02f54f8e702247bf702de2601c60c20c3950e82d3f213947d67c47 21696 libcoq-mathcomp-bigenough_1.0.4-1_amd64.deb 0a0684c6cc588e23eff02ef661b9ae63ca7b974231189b638969d48f6499daca 7484 mathcomp-bigenough_1.0.4-1_amd64.buildinfo Files: 35dae15ed411879d9a4c6eff89476b7c 2169 ocaml optional mathcomp-bigenough_1.0.4-1.dsc 122ea1456196afbf6fe0b396e059172a 12393 ocaml optional mathcomp-bigenough_1.0.4.orig.tar.gz 694db352cece8c00e29aa33cb1dcebaf 8912 ocaml optional mathcomp-bigenough_1.0.4-1.debian.tar.xz 3baeb2ac81780f9a55fb15dfb8445c08 21696 ocaml optional libcoq-mathcomp-bigenough_1.0.4-1_amd64.deb a45679e4f4422ec7cb0a4900948c85d9 7484 ocaml optional mathcomp-bigenough_1.0.4-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpefhMZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWKrD/0W5f/HVb0ZhLfpRMornTMP o+N+hQV09/b9jBKyU3c2ZscBR/C5DY6PKMcl5LOsokUIU3SFlNXtn3qrsmYnQxun jri9AB+oVGVkV1l+/PCdaqud3ViEBeNgy/J3le6VtVOkzkSu7v6dOYRU3JAUjqNH 0tzHx3uNVE51h5hy1wG7x5hduCJKKYo1PizB8azv759wiJYFgp8074f1WjyI8OtS NJBVgEgzShGh4Koqq2cyBnpmPH2BjrXqNTw1My0iGIJ8fddcBdMCl2mGEqYQMp+Y LRAt6FVR1lptmQYoKGhn0atpW2/+UMpQfln41H94LBxHrRRAKYD5AFISMRxCDBzU FbYzdTsm5I3WCil1NGacIRsKa/D5Kmn7c99ck9uPVU8fYyszoILzlnkdirhB3n83 c6fnfsivpeJDxCymmHia6zoxLDZpAoyGeoaND9W22NHvAANIUGn75rlgSAbjXBO3 vUA5Cj3GbO9NAK8kn/ZuVO7TpTCacmCTeHjaiRb85BchVaHG6ozmxzJQgdV+d2QF AEFp2fIcs9MjXtM/qBsbhUu8KdbqPmh9xKUyeJ8sqrA9g7fza7tHkeQPee6jSMbJ 9U3gl2rxlv6J6ENabWZSCeOEqSNLTfojfhCJjfraqdJAxxke19HJ7adXNVuLXTaR UgTBottcvedh3zXiVmxOXA== =x+c7 -----END PGP SIGNATURE-----
pgpDe1eNRmrqA.pgp
Description: PGP signature
