-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 23 Jul 2026 17:46:36 +0200 Source: ssreflect Binary: libcoq-mathcomp libcoq-mathcomp-algebra libcoq-mathcomp-boot libcoq-mathcomp-field libcoq-mathcomp-finite-group libcoq-mathcomp-group-representation libcoq-mathcomp-order libcoq-mathcomp-solvable libcoq-mathcomp-ssreflect mathcomp-doc Architecture: source amd64 all Version: 2.6.0-2 Distribution: unstable 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-field - Mathematical Components library for Coq (field) libcoq-mathcomp-finite-group - Mathematical Components library for Coq (finite groups) libcoq-mathcomp-group-representation - Mathematical Components library for Coq (group representation) 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.6.0-2) unstable; urgency=medium . * Upload to unstable. Checksums-Sha1: 993073fdf4405f9aa160e62cbaa06e6e828fb07d 2924 ssreflect_2.6.0-2.dsc ab84ce1484e3d532c422d1945ce159da72834437 2340624 ssreflect_2.6.0.orig.tar.gz 8fa114ef06d79deb397154bafcfbf200d038b4dd 13228 ssreflect_2.6.0-2.debian.tar.xz c5fec38f9d115b291950702b582ccb558084b7e6 23116468 libcoq-mathcomp-algebra_2.6.0-2_amd64.deb f5b331ba40d0cf881bb08dd3b1ed71d71820deb2 6031936 libcoq-mathcomp-boot_2.6.0-2_amd64.deb c50b744e964edb8f5018f8da19da10de6a77d7ab 4521100 libcoq-mathcomp-field_2.6.0-2_amd64.deb 32665cd722f9cc19d730c565c305576960f8be35 2468084 libcoq-mathcomp-finite-group_2.6.0-2_amd64.deb 8d1bda07736f765187f99357f0ce24fa29080330 4634132 libcoq-mathcomp-group-representation_2.6.0-2_amd64.deb a8acf71de23239b8b08529cd7445af61351f5c5e 6867584 libcoq-mathcomp-order_2.6.0-2_amd64.deb 68c8f7ae0ab2f599004eba7428d5136d1bbe3d33 5068840 libcoq-mathcomp-solvable_2.6.0-2_amd64.deb ed0d0b17bf11813d191708136b0a4c3073bbc85c 90016 libcoq-mathcomp-ssreflect_2.6.0-2_amd64.deb 2e19da89a07a68bee67228dc90eb64174eea23a3 91688 libcoq-mathcomp_2.6.0-2_amd64.deb 4d2e3c4fe2268b23a8b18269d2ddecf9d337d113 7444916 mathcomp-doc_2.6.0-2_all.deb 10b02eb99797a2085e929ca157af9cf13d4a850c 13886 ssreflect_2.6.0-2_amd64.buildinfo Checksums-Sha256: b0bfca19304b217161f19235fd683b5970d503d097fb4f48bae39bcd75f0ddbb 2924 ssreflect_2.6.0-2.dsc b2e8c5c93fdc9bb5ed9b8a06d1c028aa0096a45b1f3ac6c6509d7a6500c72253 2340624 ssreflect_2.6.0.orig.tar.gz 9466bf27a9ce4ef7aa34c9f2022a85f36ed1e518f5d4602cb3852f870373f7dc 13228 ssreflect_2.6.0-2.debian.tar.xz 7e1eade38694e57dca62f004776e1472de5080165285ede914cd0a2f206bea92 23116468 libcoq-mathcomp-algebra_2.6.0-2_amd64.deb 6d802005dd753d6c1622edd3350dbea190af0b2c06c0fa8319f2bd834c9ca2c7 6031936 libcoq-mathcomp-boot_2.6.0-2_amd64.deb e0e1905d92690cc2e7d69d449884b35d6188a68202666b487585c4fa86a5e035 4521100 libcoq-mathcomp-field_2.6.0-2_amd64.deb cd4adf588a949d9dacb2206053b2be2b08ce2ce1a4869752f58800beeaa3e26f 2468084 libcoq-mathcomp-finite-group_2.6.0-2_amd64.deb 2ebd3215ee7eea2f9fdfab85ec6f063bc8ded336d467d39cfb819e8728a79410 4634132 libcoq-mathcomp-group-representation_2.6.0-2_amd64.deb 51237ee44e67560b7d5bfa1993ee3b10894c558b91903b0094b7dd7532ac582a 6867584 libcoq-mathcomp-order_2.6.0-2_amd64.deb 7a893403303abddebcfcd96767fb75ff88f63e692dd716f014abb6862483adac 5068840 libcoq-mathcomp-solvable_2.6.0-2_amd64.deb 0fa4c69f5dd9b85d99ffa13d960d29910b001c3057ec0a47c233df734c978524 90016 libcoq-mathcomp-ssreflect_2.6.0-2_amd64.deb 3ab6142c5f42e5816f7bb2227e0e51e63cf7dc9530c150b5a94b3064861f7a4f 91688 libcoq-mathcomp_2.6.0-2_amd64.deb ac34cffa4d6273f623a5d300e285f7d03dfae38f2935d9cc3e24d84ed892fa10 7444916 mathcomp-doc_2.6.0-2_all.deb 96dd95bcc2daa97c87d1aaa472f3621b84b221af005a8ce4f918fac9ed73a82b 13886 ssreflect_2.6.0-2_amd64.buildinfo Files: 786e9b74f7683c9f80693aa8086b16ed 2924 math optional ssreflect_2.6.0-2.dsc cde08c1c6d3b70fe71f2f82e5ce3784f 2340624 math optional ssreflect_2.6.0.orig.tar.gz e11f871005dd2d36856786b6b48a64ff 13228 math optional ssreflect_2.6.0-2.debian.tar.xz 7a6b161231447df167bf6dc492bfec0a 23116468 math optional libcoq-mathcomp-algebra_2.6.0-2_amd64.deb ab7ec29be85f0e4ac4cff087095f3c4c 6031936 math optional libcoq-mathcomp-boot_2.6.0-2_amd64.deb fa99a7ab2d71c39a86e25afe3bd3b9d0 4521100 math optional libcoq-mathcomp-field_2.6.0-2_amd64.deb 45a410ddf1968ce8d49aaa2e23b80c9e 2468084 math optional libcoq-mathcomp-finite-group_2.6.0-2_amd64.deb 172d93cb70c1bda15198def19e627f28 4634132 math optional libcoq-mathcomp-group-representation_2.6.0-2_amd64.deb b695fdaa2f784d05cc83e8e4062f76b3 6867584 math optional libcoq-mathcomp-order_2.6.0-2_amd64.deb a05f53950b53fa39f3016b22bce72434 5068840 math optional libcoq-mathcomp-solvable_2.6.0-2_amd64.deb e716e67fab12638633cc08fe51767217 90016 math optional libcoq-mathcomp-ssreflect_2.6.0-2_amd64.deb e84b11a0d82b9febc8ca94a50d60f63c 91688 math optional libcoq-mathcomp_2.6.0-2_amd64.deb f88caf889c3e35b99ee13302ccc15b24 7444916 doc optional mathcomp-doc_2.6.0-2_all.deb e0fd910dc718ed9eacba4cbefd78fbee 13886 math optional ssreflect_2.6.0-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmppG4QZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQ0cD/96OQV/6we7tdV8AyV6k8+Y IzkjBWcbMUQ9a9TzJ5b4DdH+2c6y3baZVdiFfsn177TbQvFRo43XZYX8NexiFEcT aB170BbAW4eGVEthzSD/J3dCO/STyBN9ZDqVPKYh/T2T6FZhhnBMkypHuoadqT++ jR3X8jsyTX2vu/atHl6R/QlGWgLd+IQNPoCs9rgPs9+EoV3HopF5Yhbfy/UfWnWC EBtVGo+YKN0dF5DnNKMNVgwPAEbMLKxUmNs70WV87CJ2L1tIAiK7IaTO1Flx50mU sKUIsDRyQf/Yfe8yoOsueFnsD05l80W1JOVGvds7OUT/iB0btqTJIxUVHjl+/BCn LYyBADeI1kRAMOxlwRfIj/cNBngUteTEVdTbtVggPIEfiL61UC0XZNQjd0ZOtG2N ttw6+cjq/BFmF8xJkIeQX3dL9hXoF5bnapdeSnoXyTeF1wGMcVohjHX6SWXSnB4z /Ler1OqMdkET+CGmVgjUeiYWwQCoi0CyfAWPeuFEoqBcZKBpgecX3Tf1VRUxa+Xg 6W0BJeIgH+W3XzYC/GFos0LTqkoxVe7G0EmmtuEfVkGyvtr3hnO2gg6NBM1bDciI dY9+N53/KXcF9UsDBWcw+Ztv4VyBb+RfAHBlW0Qu4cjkVM7UJZj3aSJHroOjk69P PTr0+nZRHo//rLKoZi+1NA== =dnuc -----END PGP SIGNATURE-----
