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

../
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_amd6..> 20-Apr-2023 16:53              229744
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_i386..> 20-Apr-2023 16:53              229604
libcoq-mathcomp-algebra-tactics_1.2.4-1+b5_amd6..> 06-Aug-2025 13:09              763116
mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz     20-Apr-2023 16:53                8704
mathcomp-algebra-tactics_1.0.0-8.dsc               20-Apr-2023 16:53                2282
mathcomp-algebra-tactics_1.0.0.orig.tar.gz         20-Apr-2023 16:53               37243
mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz     06-Aug-2025 13:09                9004
mathcomp-algebra-tactics_1.2.4-1.dsc               06-Aug-2025 13:09                2294
mathcomp-algebra-tactics_1.2.4.orig.tar.gz         06-Aug-2025 13:09               59063