Accepted ssreflect 2.6.0-1 (source amd64 all) into experimental

Debian FTP Masters Thu, 23 Jul 2026 07:10:59 -0700
-----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 <[email protected]>
Changed-By: Julien Puydt <[email protected]>
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
pgpjw7VpG6vtZ.pgp
Description: PGP signature
Accepted ssreflect 2.6.0-1 (source amd64 all) into experimental

Reply via email to
