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

../
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_amd6..> 25-Dec-2025 06:50    224K
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_i386..> 25-Dec-2025 06:50    224K
libcoq-mathcomp-algebra-tactics_1.2.4-1+b5_amd6..> 24-Dec-2025 10:54    745K
mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz     25-Dec-2025 09:46    8704
mathcomp-algebra-tactics_1.0.0-8.dsc               25-Dec-2025 09:46    2282
mathcomp-algebra-tactics_1.0.0.orig.tar.gz         25-Dec-2025 09:46     36K
mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz     24-Dec-2025 15:22    9004
mathcomp-algebra-tactics_1.2.4-1.dsc               24-Dec-2025 15:22    2294
mathcomp-algebra-tactics_1.2.4.orig.tar.gz         24-Dec-2025 15:22     58K