Index of /transitions/20261111/repo/pool/ssreflect/

../
libcoq-mathcomp-algebra_2.6.0-3+ocaml1_amd64.deb   11-Nov-2026 17:35            23119792
libcoq-mathcomp-boot_2.6.0-3+ocaml1_amd64.deb      11-Nov-2026 17:35             6031072
libcoq-mathcomp-field_2.6.0-3+ocaml1_amd64.deb     11-Nov-2026 17:35             4521168
libcoq-mathcomp-finite-group_2.6.0-3+ocaml1_amd..> 11-Nov-2026 17:35             2467336
libcoq-mathcomp-group-representation_2.6.0-3+oc..> 11-Nov-2026 17:35             4623496
libcoq-mathcomp-order_2.6.0-3+ocaml1_amd64.deb     11-Nov-2026 17:35             6869584
libcoq-mathcomp-solvable_2.6.0-3+ocaml1_amd64.deb  11-Nov-2026 17:35             5068944
libcoq-mathcomp-ssreflect_2.6.0-3+ocaml1_amd64.deb 11-Nov-2026 17:35               90124
libcoq-mathcomp_2.6.0-3+ocaml1_amd64.deb           11-Nov-2026 17:35               91800
mathcomp-doc_2.6.0-3+ocaml1_all.deb                11-Nov-2026 17:35             7444800
ssreflect_2.6.0-3+ocaml1.debian.tar.xz             11-Nov-2026 17:35               13320
ssreflect_2.6.0-3+ocaml1.dsc                       11-Nov-2026 17:35                2032
ssreflect_2.6.0-3+ocaml1_amd64-2026-11-11T15:57..> 11-Nov-2026 17:35              320461
ssreflect_2.6.0-3+ocaml1_amd64.build               11-Nov-2026 17:35              320461
ssreflect_2.6.0-3+ocaml1_amd64.buildinfo           11-Nov-2026 17:35               13458
ssreflect_2.6.0-3+ocaml1_amd64.changes             11-Nov-2026 17:35                5845
ssreflect_2.6.0.orig.tar.gz                        11-Nov-2026 17:34             2340624