-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 19:44:23 +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-2 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-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: 288ded255c514916b2bd6f63aba9d2c2a733a0c2 2833 ssreflect_2.5.0-2.dsc e43d7c37bd8eda0b26aa2930470c8505b043f054 12996 ssreflect_2.5.0-2.debian.tar.xz a6657fa57c396936e38106cc72b593ad84ae59cf 34297076 libcoq-mathcomp-algebra_2.5.0-2_amd64.deb 1fe8816abb135b33c2b19e5af1155770fa2bf8dc 9164380 libcoq-mathcomp-boot_2.5.0-2_amd64.deb 477b4ea4a09af5ce83dcf9719070c3d48cec62f5 5031080 libcoq-mathcomp-character_2.5.0-2_amd64.deb 093f6f1d215cae40b07b0f25fed495a080d685e2 6056020 libcoq-mathcomp-field_2.5.0-2_amd64.deb cfd4859bd500a4d3774bc5e68cf477909e484b05 2888988 libcoq-mathcomp-fingroup_2.5.0-2_amd64.deb 1880f7a21adba465cef6f679e74f32dbd07f9cf6 15913256 libcoq-mathcomp-order_2.5.0-2_amd64.deb 807b73164c621c2ce03832b78282af8618cd9c29 5316460 libcoq-mathcomp-solvable_2.5.0-2_amd64.deb 094ace90e7a2d70bc2716005fc76b6400c1fbe46 83860 libcoq-mathcomp-ssreflect_2.5.0-2_amd64.deb 05296411e409e3fc412e7e4334ca0ba231d43925 85488 libcoq-mathcomp_2.5.0-2_amd64.deb 326c69a54f272948f4422d31ec2ed44addbecd21 3644940 mathcomp-doc_2.5.0-2_all.deb 232547b6a8f27a35bba40a322a2f14f48da8cf50 9827 ssreflect_2.5.0-2_amd64.buildinfo Checksums-Sha256: a3818a41771d1746dfaa69d17b3256764b197e83f428e5fb794b417e0024f1e2 2833 ssreflect_2.5.0-2.dsc 16cbaddcae3041e2c3fcd510eb1deb3e5a53aeed096926990dcd27556c137ee2 12996 ssreflect_2.5.0-2.debian.tar.xz b09b04acabfb4982fc1bdd2e059fdb5b6a02c913840102c53532cfe26cd5a3a4 34297076 libcoq-mathcomp-algebra_2.5.0-2_amd64.deb 4e385fa5ef68636b26177108305090196c7638392911e9a556b6d0f9d9bae7a2 9164380 libcoq-mathcomp-boot_2.5.0-2_amd64.deb ddc149e774e6a03bdef83f93276dbf6e2d56461b778c9a19037a7900e123915a 5031080 libcoq-mathcomp-character_2.5.0-2_amd64.deb 98ccae22c11fb5829aa92c3e7944a8692f8b706b5ea1309e42cf9e0fd4f2347e 6056020 libcoq-mathcomp-field_2.5.0-2_amd64.deb ecacaf7e64a937956a5cb69b05bc01bdcf416e5dbc0aed97342c630376b963f2 2888988 libcoq-mathcomp-fingroup_2.5.0-2_amd64.deb de70ac454b024e6ef5ac3e6c34dfff3690e3a2cbff87291df6ca3b0d31f8e537 15913256 libcoq-mathcomp-order_2.5.0-2_amd64.deb e8fe353d8541ad7f875c3acf666ae9b04e921d19c6229d3ef89f80be262e7e44 5316460 libcoq-mathcomp-solvable_2.5.0-2_amd64.deb cb9da42327621f36275d8c356127edabe7678cb4f6319056bab0b6f037dfd449 83860 libcoq-mathcomp-ssreflect_2.5.0-2_amd64.deb 2741f491fd653abe41a65eaa5a194966f9961fc47154484ccdd09a570fb7f0b2 85488 libcoq-mathcomp_2.5.0-2_amd64.deb 43d67b7ec7abba04e969b622b7a2cff80770ff99836ed39ceee1b8874108fb83 3644940 mathcomp-doc_2.5.0-2_all.deb 7a5bac0c6c0515ba1df0a27b50bffd48f200b48d22a22d1dfb086fffe5997190 9827 ssreflect_2.5.0-2_amd64.buildinfo Files: b8c14eba2f03b266a45f774310ffd717 2833 math optional ssreflect_2.5.0-2.dsc 782277ed6e965adf025013aa0de0d58b 12996 math optional ssreflect_2.5.0-2.debian.tar.xz 8a9620184d56f9d241706e9254b224d4 34297076 math optional libcoq-mathcomp-algebra_2.5.0-2_amd64.deb 51db20d78fe7a38c5fea77d72b1ce6d3 9164380 math optional libcoq-mathcomp-boot_2.5.0-2_amd64.deb 0f6471cf6082e32fa944204fce4018cd 5031080 math optional libcoq-mathcomp-character_2.5.0-2_amd64.deb a11476ea2afc6c552309e4145b10fe6a 6056020 math optional libcoq-mathcomp-field_2.5.0-2_amd64.deb 17649092894f3e9e28b918cab1e5a5a5 2888988 math optional libcoq-mathcomp-fingroup_2.5.0-2_amd64.deb 1a3e4c196d2cabd9f94d5b7ab5b406de 15913256 math optional libcoq-mathcomp-order_2.5.0-2_amd64.deb 49441018e6459d961e9455194e5fcbf2 5316460 math optional libcoq-mathcomp-solvable_2.5.0-2_amd64.deb f5e00025f54cb02f42786b07db85cd8f 83860 math optional libcoq-mathcomp-ssreflect_2.5.0-2_amd64.deb c6cfc24ddc4a7e300ee82f5cf47525c3 85488 math optional libcoq-mathcomp_2.5.0-2_amd64.deb a1ee817bf357054546e8ce7a4cd06b6a 3644940 doc optional mathcomp-doc_2.5.0-2_all.deb dd6bb583c5435b646b3c1a1fcb02815f 9827 math optional ssreflect_2.5.0-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTjzEZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUS3LD/92v//g+aAc31OLROx3xQv4 fn+9gT/wQ2FgI6eYnm25PoxAnZybloxISHkKR+KGBGSFL+/ezHiCJNAK0BZmZsQs HJax/2RFez9Ix9ZzOmxl9Qo+tvBgu1PHyDTgBmeulALJ3B6tEO40uQFXsUjdjTLo JhRT5KzkAN29zZUS08SflpvdzaReWWs21hvkU0uruPpxQc2DY30OwdvTbVZzSfrM E4nqCN1QoxS4keyJ12bS3dks4CqElfN2422usVksTXcgPGPiWZfmh3TRXyZ07sCz CSCcI9bomkBzguZlvoxwI1Nu1uOrfDlXAtLMehjB0EZTkVQdUgGwobNwaY3J7uLK Sp2nccbMvSgZNSdCu2jgjujfcd+Oru9CNCr5gigDbc6U266cqTK/tPSzFV05n1Y8 HR+HjUM2V2m3PWj9KRcKKJRX51MI3DgvY0j+z99Lw6EJ2JgZ5/QnetImSvVuLtWE Dbu6V5bAjbrbn0PEIQWoQFe5bCT9PRmRxcpcZig+qbbkOAGQ68ISPOALEXchjDCp /5YX3BGiCndku5DUCr2/3rFd7lzaVSlvFhboZdnk6ioZV+3HATLrex9uyFbPGqGp 9fZByRlauuz4Zhx8BYvh6sbGQiRtUxWYSkdCaGSp5lB0+UB906Q75SGz9wGVyLRn FkoYdgovYT27B5PWRymD3Q== =J6d2 -----END PGP SIGNATURE-----
