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

../
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_amd6..> 28-Apr-2023 17:50    224K
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_arm6..> 28-Apr-2023 18:30    224K
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_i386..> 28-Apr-2023 17:51    224K
libcoq-mathcomp-algebra-tactics_1.2.4-1+b5_amd6..> 13-Aug-2025 00:52    745K
libcoq-mathcomp-algebra-tactics_1.2.4-1+b5_arm6..> 13-Aug-2025 03:32    745K
mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz     28-Nov-2022 19:38    8704
mathcomp-algebra-tactics_1.0.0-8.dsc               28-Nov-2022 19:38    2282
mathcomp-algebra-tactics_1.0.0.orig.tar.gz         28-Nov-2022 19:38     36K
mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz     13-Aug-2025 02:19    9004
mathcomp-algebra-tactics_1.2.4-1.dsc               13-Aug-2025 02:19    2294
mathcomp-algebra-tactics_1.2.4.orig.tar.gz         13-Aug-2025 02:19     58K