-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 10:27:12 +0100 Source: ssreflect Binary: libcoq-mathcomp libcoq-mathcomp-algebra libcoq-mathcomp-boot libcoq-mathcomp-character libcoq-mathcomp-field libcoq-mathcomp-fingroup libcoq-mathcomp-order libcoq-mathcomp-solvable libcoq-mathcomp-ssreflect mathcomp-doc Architecture: source amd64 all Version: 2.5.0-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-mathcomp - Mathematical Components library for Coq (all) libcoq-mathcomp-algebra - Mathematical Components library for Coq (algebra) libcoq-mathcomp-boot - Mathematical Components library for Coq (boot) libcoq-mathcomp-character - Mathematical Components library for Coq (character) libcoq-mathcomp-field - Mathematical Components library for Coq (field) libcoq-mathcomp-fingroup - Mathematical Components library for Coq (finite groups) libcoq-mathcomp-order - Mathematical Components library for Coq (order) libcoq-mathcomp-solvable - Mathematical Components library for Coq (finite groups II) libcoq-mathcomp-ssreflect - Mathematical Components library for Coq (small scale reflection) mathcomp-doc - Mathematical Components library for Coq (doc) Changes: ssreflect (2.5.0-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.2. Checksums-Sha1: 47c7953c35f0a045a47fc8406f8ae9ed88922ff6 2826 ssreflect_2.5.0-1.dsc 08731823af031b1cd55897d5ff3927a2470f82b7 1978658 ssreflect_2.5.0.orig.tar.gz fc2901170ad5ed4c2e5826a7b805c986e9616064 12968 ssreflect_2.5.0-1.debian.tar.xz e1b71ee744866dcd9d03131417f24f8f510b62c4 18812052 libcoq-mathcomp-algebra_2.5.0-1_amd64.deb 33aee12cbb2e4153560252a6ccf74663cfdfba9c 5881736 libcoq-mathcomp-boot_2.5.0-1_amd64.deb 6c3023cacad284af5deb9aadd4d53d64d7a6a7cb 4632392 libcoq-mathcomp-character_2.5.0-1_amd64.deb 554a4e7e36cb8fbb2cbd4be7baec9cc59525cbfb 4264132 libcoq-mathcomp-field_2.5.0-1_amd64.deb 536cfd3fa991ff4ad5c3e4b464449c11798e36a3 2508480 libcoq-mathcomp-fingroup_2.5.0-1_amd64.deb 0d1311618b07cedf9dd14995e7f1558344fdafd1 6227608 libcoq-mathcomp-order_2.5.0-1_amd64.deb 14f02f034cac57f22a7092fb8a5d52f4471d8117 5167228 libcoq-mathcomp-solvable_2.5.0-1_amd64.deb ac83fe2cd08d01f4993dc617ec1d38053ec69668 83828 libcoq-mathcomp-ssreflect_2.5.0-1_amd64.deb 83220e17e2644e9c6dc38c4552937c72bfeb16ca 85456 libcoq-mathcomp_2.5.0-1_amd64.deb e381c9f81e5e583ee863a1f9515ff0e4c93053df 3644800 mathcomp-doc_2.5.0-1_all.deb 5da186db8245f27722c5083bcfcb50f29e09d843 10042 ssreflect_2.5.0-1_amd64.buildinfo Checksums-Sha256: a27294edadd7887ddbc0341d6de01750d5691095f66b68ccf45b3ea341d0ce37 2826 ssreflect_2.5.0-1.dsc 3db2f4b1b7f9f5a12d3d0c4ba4e325a26a77712074200319660c0e67e25679f1 1978658 ssreflect_2.5.0.orig.tar.gz 224b12aca38351447787004a16069e40d2d74db44c016ad066be5bf9f0e983a2 12968 ssreflect_2.5.0-1.debian.tar.xz 19a607c9a46417a0567542a41900a8523453006cc236e39b49cbfdfc5d3b49a5 18812052 libcoq-mathcomp-algebra_2.5.0-1_amd64.deb 212fd665208269e2077c0326b7a075c7002c4c3d7f222f76501aaa21dd53e0f2 5881736 libcoq-mathcomp-boot_2.5.0-1_amd64.deb e76a6745db078b04faeaae83a5f08bbb950f0ff1aaa1c20fcd5ad5118ded2e54 4632392 libcoq-mathcomp-character_2.5.0-1_amd64.deb 0dafd879fcf3f9321099de53ff00153798da010d610a7bfc8a78cff9ca9186eb 4264132 libcoq-mathcomp-field_2.5.0-1_amd64.deb ba930003a68a46798be66347a3cd288054d0c7bd9a4efd53fd55247c00e2a6c1 2508480 libcoq-mathcomp-fingroup_2.5.0-1_amd64.deb 56c04b2202de92ea0be74a92d41a3534986fda2856fa59b3edc82df20c6f18a0 6227608 libcoq-mathcomp-order_2.5.0-1_amd64.deb 6ffc769d0506d12cdd4452011ff4a3afa5c876a629168576c40cacbceac55cd7 5167228 libcoq-mathcomp-solvable_2.5.0-1_amd64.deb 95a325ae3dad8db857b7ec58aaddd50249c83ed7011d6ae25fa233df2d76ddfa 83828 libcoq-mathcomp-ssreflect_2.5.0-1_amd64.deb d5654dfd9d1cff6123cb011f79c30f4f8afa158bff0f590884087f12d0a491d4 85456 libcoq-mathcomp_2.5.0-1_amd64.deb 059b4515a69b91e3b7c410b1257b33a48881c5378efa38306f4002a68e3e20a5 3644800 mathcomp-doc_2.5.0-1_all.deb 2c103e3b3ca2848467650a83e8bc401c08a4d76f3d02ba66b38729273e9e5880 10042 ssreflect_2.5.0-1_amd64.buildinfo Files: 8a8077e4a269a527f6f3cc186d7af724 2826 math optional ssreflect_2.5.0-1.dsc a9e62218e543145d2a3e780816b51a98 1978658 math optional ssreflect_2.5.0.orig.tar.gz 4ccf72b97033f7964a1925483b47cfea 12968 math optional ssreflect_2.5.0-1.debian.tar.xz 4444806597736f758ad086948b6f7ab4 18812052 math optional libcoq-mathcomp-algebra_2.5.0-1_amd64.deb 56fc62d7114a2fb1b579cc460f24840b 5881736 math optional libcoq-mathcomp-boot_2.5.0-1_amd64.deb 722f4c067929d9484fd81f70cd68a541 4632392 math optional libcoq-mathcomp-character_2.5.0-1_amd64.deb 9cfc8e792f6e246fc71eb6af027eb1f9 4264132 math optional libcoq-mathcomp-field_2.5.0-1_amd64.deb 998aa89ff83db346e32e9c8e95250c3d 2508480 math optional libcoq-mathcomp-fingroup_2.5.0-1_amd64.deb dc0487811182a74c35171acec173cfd3 6227608 math optional libcoq-mathcomp-order_2.5.0-1_amd64.deb 60e98d65b867b4f452198680a8aaf696 5167228 math optional libcoq-mathcomp-solvable_2.5.0-1_amd64.deb f60f52e64421a75517e2f3626efafa1b 83828 math optional libcoq-mathcomp-ssreflect_2.5.0-1_amd64.deb 76f5ec4fa2bcda6e9f87b6bc4b535a79 85456 math optional libcoq-mathcomp_2.5.0-1_amd64.deb 057ede74e627aa536001b1171670f543 3644800 doc optional mathcomp-doc_2.5.0-1_all.deb 468112e9bee53cf03909371c45ed86c9 10042 math optional ssreflect_2.5.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDC/UZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdyHD/9Zc8F3+bVSLeE2bBHW8jY/ hBaqLFicA//SAsaDBDDIck+OzG9wL3CMuMim06ezEkgazFPlFFQ4Wqg4sM8Ngu/f neIcyFcKBy9A3i4N9hGPnVik0xVAR68nmw+i9ZMkiY+y8bgrxjir6a7+gEW/vKQ+ 8leqiD8GRMaJjQ1YbP4GKYIlUjiZqmYeHxXpoaFivOHZfDquoxOFqvkMeHQPeEJ2 wCReXU2CbhixV0ZN76C3b8KUFhoRn7Y5t7YPr4lv98kZzMbPm3soxT8p5abeXUvp YUwkKVunbjVV3EI+uuOnctbg1bAN0ISGn1Xq3gZs+4qDS0XimyfbaTYrby35zaDU w4+LSLYMmc/kQKpuTU4+wbNy+i+9GLOBbiwjd2N65qpD+1hvDd4dDm1El82Q/Das WBPHIO4N6oacuQWa8D2A02s9G3I2b1tLWG6g7PVNN0lXQH+hCdIJqQMtIL/LXnAC e3nAHc8SRBmLWgUFGqQUx0A7nCWsc19PUtUyM/NFdAsxf1QAcMbnypIL0ANg2uvI JT2giPJc9eHwCluIl3/uLHv8amdA+SDnWErsgkhe0OjyrnDBUd6x7pE6gfF8Xb5K kbyU53SekrM4pJWvQy0lJf/9i1I1NLXFZPcGiyh6MvDBLx/p1u1GkjkXzMOQp8jX Lx+EOzMmK/U/1doy7UeE1A== =fDLl -----END PGP SIGNATURE-----
