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

../
libcoq-mathcomp-algebra-tactics_1.2.7-5+ocaml1_..> 11-Nov-2026 17:33              954136
mathcomp-algebra-tactics_1.2.7-5+ocaml1.debian...> 11-Nov-2026 17:33                9832
mathcomp-algebra-tactics_1.2.7-5+ocaml1.dsc        11-Nov-2026 17:33                1409
mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64-2..> 11-Nov-2026 17:33              125711
mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.b..> 11-Nov-2026 17:33              125711
mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.b..> 11-Nov-2026 17:33                7040
mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.c..> 11-Nov-2026 17:33                2243
mathcomp-algebra-tactics_1.2.7.orig.tar.gz         11-Nov-2026 17:32               59382