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

../
libcoq-mathcomp-algebra-tactics_1.0.0-6+b1_amd6..> 06-Aug-2022 22:41    220K
libcoq-mathcomp-algebra-tactics_1.0.0-6+b1_arm6..> 06-Aug-2022 22:41    220K
libcoq-mathcomp-algebra-tactics_1.0.0-6+b1_armh..> 06-Aug-2022 22:41    220K
libcoq-mathcomp-algebra-tactics_1.0.0-6+b1_i386..> 06-Aug-2022 22:41    220K
libcoq-mathcomp-algebra-tactics_1.0.0-6+b3_amd6..> 12-Sep-2022 19:28    224K
libcoq-mathcomp-algebra-tactics_1.0.0-6+b3_arm6..> 12-Sep-2022 19:28    224K
libcoq-mathcomp-algebra-tactics_1.0.0-6+b3_armh..> 12-Sep-2022 19:28    224K
libcoq-mathcomp-algebra-tactics_1.0.0-6+b3_i386..> 12-Sep-2022 19:28    223K
libcoq-mathcomp-algebra-tactics_1.0.0-8+b1_amd6..> 15-Nov-2022 15:44    224K
libcoq-mathcomp-algebra-tactics_1.0.0-8+b1_arm6..> 15-Nov-2022 16:00    224K
libcoq-mathcomp-algebra-tactics_1.0.0-8+b1_i386..> 15-Nov-2022 15:44    224K
libcoq-mathcomp-algebra-tactics_1.0.0-8+b3_amd6..> 30-Nov-2022 14:13    224K
libcoq-mathcomp-algebra-tactics_1.0.0-8+b3_arm6..> 30-Nov-2022 14:28    224K
libcoq-mathcomp-algebra-tactics_1.0.0-8+b3_i386..> 30-Nov-2022 12:42    224K
libcoq-mathcomp-algebra-tactics_1.0.0-8+b5_amd6..> 25-Jan-2023 23:57    224K
libcoq-mathcomp-algebra-tactics_1.0.0-8+b5_arm6..> 25-Jan-2023 23:57    225K
libcoq-mathcomp-algebra-tactics_1.0.0-8+b5_i386..> 25-Jan-2023 23:57    224K
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_amd6..> 14-Feb-2023 19:29    224K
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_arm6..> 14-Feb-2023 19:44    224K
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_i386..> 14-Feb-2023 19:29    224K
libcoq-mathcomp-algebra-tactics_1.1.1-2+b2_amd6..> 17-Jul-2023 03:13    371K
libcoq-mathcomp-algebra-tactics_1.1.1-2+b2_arm6..> 17-Jul-2023 01:29    371K
libcoq-mathcomp-algebra-tactics_1.1.1-2+b2_i386..> 16-Jul-2023 23:42    371K
libcoq-mathcomp-algebra-tactics_1.1.1-2+b5_amd6..> 28-Jul-2023 04:11    372K
libcoq-mathcomp-algebra-tactics_1.1.1-2+b5_arm6..> 28-Jul-2023 04:27    372K
libcoq-mathcomp-algebra-tactics_1.1.1-2+b5_i386..> 28-Jul-2023 07:12    372K
libcoq-mathcomp-algebra-tactics_1.1.1-2+b6_amd6..> 21-Aug-2023 04:43    372K
libcoq-mathcomp-algebra-tactics_1.1.1-2+b6_arm6..> 21-Aug-2023 07:27    372K
libcoq-mathcomp-algebra-tactics_1.1.1-2+b6_i386..> 21-Aug-2023 05:29    372K
libcoq-mathcomp-algebra-tactics_1.1.1-2+b7_amd6..> 28-Aug-2023 03:59    372K
libcoq-mathcomp-algebra-tactics_1.1.1-2+b7_arm6..> 28-Aug-2023 03:43    372K
libcoq-mathcomp-algebra-tactics_1.1.1-2+b7_i386..> 28-Aug-2023 03:43    372K
libcoq-mathcomp-algebra-tactics_1.1.1-2+b8_amd6..> 22-Sep-2023 18:44    372K
libcoq-mathcomp-algebra-tactics_1.1.1-2+b8_arm6..> 22-Sep-2023 20:57    372K
libcoq-mathcomp-algebra-tactics_1.1.1-2+b8_i386..> 22-Sep-2023 18:45    372K
mathcomp-algebra-tactics_1.1.1-2.debian.tar.xz     05-Jul-2023 21:51    8756
mathcomp-algebra-tactics_1.1.1-2.dsc               05-Jul-2023 21:51    2282
mathcomp-algebra-tactics_1.1.1.orig.tar.gz         15-Jun-2023 14:50     51K