Index of /transitions/20261106/repo/pool/mathcomp-algebra-tactics/

../
libcoq-mathcomp-algebra-tactics_1.2.7-5+ocaml1_..> 07-Nov-2026 05:28              953956
mathcomp-algebra-tactics_1.2.7-5+ocaml1.debian...> 07-Nov-2026 05:28                9828
mathcomp-algebra-tactics_1.2.7-5+ocaml1.dsc        07-Nov-2026 05:28                1409
mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64-2..> 07-Nov-2026 05:28              128127
mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.b..> 07-Nov-2026 05:28              128127
mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.b..> 07-Nov-2026 05:28                7037
mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.c..> 07-Nov-2026 05:28                2243
mathcomp-algebra-tactics_1.2.7.orig.tar.gz         07-Nov-2026 05:25               59382