-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 11 Jul 2026 06:40:47 +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-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-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-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. Checksums-Sha1: 7acde1fb16b3e1a8249bb573918b2cfe3e74202a 2924 ssreflect_2.6.0-1.dsc ab84ce1484e3d532c422d1945ce159da72834437 2340624 ssreflect_2.6.0.orig.tar.gz ce4614ff549d24b3860e6669319f1015781a68e5 13220 ssreflect_2.6.0-1.debian.tar.xz c145478b7f363a68b9aa239ffea7294137e48513 23067712 libcoq-mathcomp-algebra_2.6.0-1_amd64.deb acb8027ea9ec1fea768a995df72af0a07fd99542 6030540 libcoq-mathcomp-boot_2.6.0-1_amd64.deb c30bde76cb49b8529116d09b0ff5cdd4967ab12e 4526632 libcoq-mathcomp-field_2.6.0-1_amd64.deb 671c6627b30c67d750a7acee0ff2d2bf049cdc87 2467464 libcoq-mathcomp-finite-group_2.6.0-1_amd64.deb 9dcfc5f9662bf2dbe704ec2870fe680ffb095242 4620716 libcoq-mathcomp-group-representation_2.6.0-1_amd64.deb c9bc1fcfd366e563497063c4dabe6a67888bf28f 6865292 libcoq-mathcomp-order_2.6.0-1_amd64.deb 84e19dbb64d409f54e020f3b00a1ad71476801e7 5068664 libcoq-mathcomp-solvable_2.6.0-1_amd64.deb 1ed153311ddd09cc0eb8ce6a444a9c0592f41036 89988 libcoq-mathcomp-ssreflect_2.6.0-1_amd64.deb 50a1ae8781c89fa162d76a43fec2ddde0f989766 91664 libcoq-mathcomp_2.6.0-1_amd64.deb d3ee615061135dace592b34774f1c9c1010c22b1 7444832 mathcomp-doc_2.6.0-1_all.deb 43ef5427442ed7071f94c7acad1fc56fcf42fe4f 13960 ssreflect_2.6.0-1_amd64.buildinfo Checksums-Sha256: 0e2b60a51b2ea8dbb3bce59367c0e44856c86c501dbd54afb1a6b6b89c1b8e68 2924 ssreflect_2.6.0-1.dsc b2e8c5c93fdc9bb5ed9b8a06d1c028aa0096a45b1f3ac6c6509d7a6500c72253 2340624 ssreflect_2.6.0.orig.tar.gz f7eab6954168eac7950b11d917b5e65b64fa8cd2dc556fa0684b7ba1c0eb1b82 13220 ssreflect_2.6.0-1.debian.tar.xz 17391e506fe8f6c1803583e5a37c75b8c6ffc02eaa9759fe5b9f28de575e2348 23067712 libcoq-mathcomp-algebra_2.6.0-1_amd64.deb 0f6fdacac9d5a79726f54ecb0ac32e6c72a17d3f4e6a8912d0a7d2b9c673f3d3 6030540 libcoq-mathcomp-boot_2.6.0-1_amd64.deb bca4034931aea9efd0d1a933cb2206a28fc10c8f9eb3c06a39159c8ff059937e 4526632 libcoq-mathcomp-field_2.6.0-1_amd64.deb 1b2556865dabd331bb5f2ffe7d75368803d847aff1d618a4edcf694edd5b7cd4 2467464 libcoq-mathcomp-finite-group_2.6.0-1_amd64.deb cec7eecec66431d4189a2e71099555ba7cf90b1d0e96f0ba177f8ae341705dbc 4620716 libcoq-mathcomp-group-representation_2.6.0-1_amd64.deb f109a625a9b542fc2b8fbca4fafa50ddabe6acb8f8fbdeadcff86a54da660ba9 6865292 libcoq-mathcomp-order_2.6.0-1_amd64.deb 5c57f030a6db21029baa42bd7d6412c51697cdc43992dc0dc7f80beeafa87f0f 5068664 libcoq-mathcomp-solvable_2.6.0-1_amd64.deb 90795ad2035cf92514920cfb1e7376e766813f2faf96f11bfba1c6bceddd3118 89988 libcoq-mathcomp-ssreflect_2.6.0-1_amd64.deb 5b85299ee588047ee69f544fe62d6953fab241e78102a76706c0c19dcd6cd478 91664 libcoq-mathcomp_2.6.0-1_amd64.deb 428388765ac6eba52d86e59f5c8f5f929fc4a2f51781d417d021881932ef5bfb 7444832 mathcomp-doc_2.6.0-1_all.deb 2f776255525a2075162f86e574024a25327ecec3d154454ee91e76b7d50e496a 13960 ssreflect_2.6.0-1_amd64.buildinfo Files: af7431bc20f6d448e2484154898fa5de 2924 math optional ssreflect_2.6.0-1.dsc cde08c1c6d3b70fe71f2f82e5ce3784f 2340624 math optional ssreflect_2.6.0.orig.tar.gz 42a701674125ffde5abe288201cb0877 13220 math optional ssreflect_2.6.0-1.debian.tar.xz bb26c77f44230238defb926237302bb5 23067712 math optional libcoq-mathcomp-algebra_2.6.0-1_amd64.deb ae4c0d55d12d71acb42e05c1114e952b 6030540 math optional libcoq-mathcomp-boot_2.6.0-1_amd64.deb e2249c3d6e1e43e302c3916aece059be 4526632 math optional libcoq-mathcomp-field_2.6.0-1_amd64.deb 18c80b3846ef5f3c4ff235ee3e0eef61 2467464 math optional libcoq-mathcomp-finite-group_2.6.0-1_amd64.deb 4b182f0de419ce16c07066cc3a214d21 4620716 math optional libcoq-mathcomp-group-representation_2.6.0-1_amd64.deb d00df95b100a5a206c50c02d884e7ff4 6865292 math optional libcoq-mathcomp-order_2.6.0-1_amd64.deb cb368a100450b0428e79435031cc3f85 5068664 math optional libcoq-mathcomp-solvable_2.6.0-1_amd64.deb 6697007464cbff5fe22e3b9268ba3b37 89988 math optional libcoq-mathcomp-ssreflect_2.6.0-1_amd64.deb 683cfbd01e771c128a653f790679563c 91664 math optional libcoq-mathcomp_2.6.0-1_amd64.deb 15bed3827c5b38a5c4eb2c08bb8034d1 7444832 doc optional mathcomp-doc_2.6.0-1_all.deb 1fed61934de5a44e5fe6350687eaa587 13960 math optional ssreflect_2.6.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpeeiEZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdeoD/4rkGiEBctRY+DQ30hHrcIt hs1TxUbG3YMw1/uJKPRNb80H0fnYhcS1QeRkJ6VyumeGjDwIYx12Untfdh32kq8z utTNN6m8ZEKdDnZGY79lae/duByKb627xeo6cD65m/KBzoBiEpbVDwA8Qfa9yyBz KeRjz/EF8LSeTkYRGpzuyHOfZqn6AUrT6vynJmsejbBqexABKfRBmSptGcchNCEf UPg8E63Y+/yXJyl0bemUJuq3lNvLhKHJrwHG9Mo3dz9PTIJYc3R9dTtEQmB+KQri afAL8k2Ikwde3s7ipPcjwMM91YF7r9bR+XuUshFoOlTLYvPCnxwPhZxvOAJaPnTz PI2hOy4FnhawZGsLtnxozYRZW305VeEI3/K5bzNtLTS2+j6XtOCHKHh0ggdqztKw TMfjPha469xDFdLOhzBEvUFYskbhLECnfPO2bhY7Id8hfqOC9Pg/EvtPP6Z4PaYL Y+DhowxfhhLRWeMx9apT5v7pypo8Vhwxh0Alqz4smhacqFDZKlBYyYr4Z8dkzLQW FH/kdNMjx0gAADnHZgveTygIUu319zln3n/MjAl2fIzIWd14GQizqdymp8qrU461 kMfu/ApTDwHfkhWJRtgp6pOKYUlv/eLYTc87zRaQWEfyXk3pB4XsXXSKPqDVxVIu SgKCcmI3CBmlMHmyPCc4OA== =ZIrB -----END PGP SIGNATURE-----
