Welcome to OUR Host Linux mirror, hosted at ourhost.az, Azerbaijan Republic.
Hostname is mirror.ourhost.az
Contacts: support@ourhost.az
We support HTTP, FTP and rsync protocols.
Index of /parrot/pool/main/m/mathcomp-algebra-tactics/

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

../
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_amd6..> 02-Aug-2025 06:57              229744
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_arm6..> 02-Aug-2025 06:57              229664
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_i386..> 02-Aug-2025 06:57              229604
mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz     02-Aug-2025 06:57                8704
mathcomp-algebra-tactics_1.0.0-8.dsc               02-Aug-2025 06:57                2282
mathcomp-algebra-tactics_1.0.0.orig.tar.gz         02-Aug-2025 06:57               37243