Index of /repos/pool/main/m/mathcomp-algebra-tactics/

../
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_amd6..> 20-Jan-2026 09:04    224K
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_i386..> 20-Jan-2026 09:04    224K
libcoq-mathcomp-algebra-tactics_1.2.4-1+b5_amd6..> 18-Jan-2026 19:53    745K
mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz     20-Jan-2026 14:30    8704
mathcomp-algebra-tactics_1.0.0-8.dsc               20-Jan-2026 14:30    2282
mathcomp-algebra-tactics_1.0.0.orig.tar.gz         20-Jan-2026 14:30     36K
mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz     19-Jan-2026 03:34    9004
mathcomp-algebra-tactics_1.2.4-1.dsc               19-Jan-2026 03:34    2294
mathcomp-algebra-tactics_1.2.4.orig.tar.gz         19-Jan-2026 03:34     58K