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

../
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_amd6..> 14-Jun-2023 21:24    224K
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_arm6..> 14-Jun-2023 21:24    224K
libcoq-mathcomp-algebra-tactics_1.2.3-4+b4_amd6..> 27-Sep-2024 15:39    518K
libcoq-mathcomp-algebra-tactics_1.2.3-4+b4_arm6..> 27-Sep-2024 15:39    518K
libcoq-mathcomp-algebra-tactics_1.2.3-4+b5_amd6..> 14-Oct-2024 04:02    518K
libcoq-mathcomp-algebra-tactics_1.2.3-4+b5_arm6..> 14-Oct-2024 04:02    518K
mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz     14-Jun-2023 14:14    8704
mathcomp-algebra-tactics_1.0.0-8.dsc               14-Jun-2023 14:14    2282
mathcomp-algebra-tactics_1.0.0.orig.tar.gz         14-Jun-2023 14:14     36K
mathcomp-algebra-tactics_1.2.3-4.debian.tar.xz     12-Sep-2024 04:14    8984
mathcomp-algebra-tactics_1.2.3-4.dsc               12-Sep-2024 04:14    2066
mathcomp-algebra-tactics_1.2.3.orig.tar.gz         10-May-2024 03:33     57K