Index of /kali/pool/main/m/mathcomp-algebra-tactics/
../
libcoq-mathcomp-algebra-tactics_1.0.0-6+b1_amd6..> 06-Aug-2022 13:41 225148
libcoq-mathcomp-algebra-tactics_1.0.0-6+b1_arm6..> 06-Aug-2022 13:41 225444
libcoq-mathcomp-algebra-tactics_1.0.0-6+b1_armh..> 06-Aug-2022 13:41 225052
libcoq-mathcomp-algebra-tactics_1.0.0-6+b1_i386..> 06-Aug-2022 13:41 225100
libcoq-mathcomp-algebra-tactics_1.0.0-6+b3_amd6..> 12-Sep-2022 10:28 229076
libcoq-mathcomp-algebra-tactics_1.0.0-6+b3_arm6..> 12-Sep-2022 10:28 229056
libcoq-mathcomp-algebra-tactics_1.0.0-6+b3_armh..> 12-Sep-2022 10:28 229332
libcoq-mathcomp-algebra-tactics_1.0.0-6+b3_i386..> 12-Sep-2022 10:28 228848
libcoq-mathcomp-algebra-tactics_1.0.0-8+b1_amd6..> 15-Nov-2022 06:44 229124
libcoq-mathcomp-algebra-tactics_1.0.0-8+b1_arm6..> 15-Nov-2022 07:00 229144
libcoq-mathcomp-algebra-tactics_1.0.0-8+b1_i386..> 15-Nov-2022 06:44 229020
libcoq-mathcomp-algebra-tactics_1.0.0-8+b3_amd6..> 30-Nov-2022 05:13 229640
libcoq-mathcomp-algebra-tactics_1.0.0-8+b3_arm6..> 30-Nov-2022 05:28 229700
libcoq-mathcomp-algebra-tactics_1.0.0-8+b3_i386..> 30-Nov-2022 03:42 229668
libcoq-mathcomp-algebra-tactics_1.0.0-8+b5_amd6..> 25-Jan-2023 14:57 229664
libcoq-mathcomp-algebra-tactics_1.0.0-8+b5_arm6..> 25-Jan-2023 14:57 229896
libcoq-mathcomp-algebra-tactics_1.0.0-8+b5_i386..> 25-Jan-2023 14:57 229708
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_amd6..> 14-Feb-2023 10:29 229744
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_arm6..> 14-Feb-2023 10:44 229664
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_i386..> 14-Feb-2023 10:29 229604
libcoq-mathcomp-algebra-tactics_1.1.1-2+b2_amd6..> 16-Jul-2023 18:13 380336
libcoq-mathcomp-algebra-tactics_1.1.1-2+b2_arm6..> 16-Jul-2023 16:29 380016
libcoq-mathcomp-algebra-tactics_1.1.1-2+b2_i386..> 16-Jul-2023 14:42 380084
libcoq-mathcomp-algebra-tactics_1.1.1-2+b5_amd6..> 27-Jul-2023 19:11 380808
libcoq-mathcomp-algebra-tactics_1.1.1-2+b5_arm6..> 27-Jul-2023 19:27 380952
libcoq-mathcomp-algebra-tactics_1.1.1-2+b5_i386..> 27-Jul-2023 22:12 380796
libcoq-mathcomp-algebra-tactics_1.1.1-2+b6_amd6..> 20-Aug-2023 19:43 380928
libcoq-mathcomp-algebra-tactics_1.1.1-2+b6_arm6..> 20-Aug-2023 22:27 380732
libcoq-mathcomp-algebra-tactics_1.1.1-2+b6_i386..> 20-Aug-2023 20:29 380808
libcoq-mathcomp-algebra-tactics_1.1.1-2+b7_amd6..> 27-Aug-2023 18:59 380836
libcoq-mathcomp-algebra-tactics_1.1.1-2+b7_arm6..> 27-Aug-2023 18:43 380888
libcoq-mathcomp-algebra-tactics_1.1.1-2+b7_i386..> 27-Aug-2023 18:43 380768
libcoq-mathcomp-algebra-tactics_1.1.1-2+b8_amd6..> 22-Sep-2023 09:44 380936
libcoq-mathcomp-algebra-tactics_1.1.1-2+b8_arm6..> 22-Sep-2023 11:57 380920
libcoq-mathcomp-algebra-tactics_1.1.1-2+b8_i386..> 22-Sep-2023 09:45 380776
libcoq-mathcomp-algebra-tactics_1.1.1-2+b9_amd6..> 15-Oct-2023 06:15 381000
libcoq-mathcomp-algebra-tactics_1.1.1-2+b9_arm6..> 15-Oct-2023 04:59 380940
libcoq-mathcomp-algebra-tactics_1.1.1-2+b9_i386..> 15-Oct-2023 06:55 380800
libcoq-mathcomp-algebra-tactics_1.2.3-1+b1_amd6..> 16-Feb-2024 15:35 517852
libcoq-mathcomp-algebra-tactics_1.2.3-1+b1_arm6..> 16-Feb-2024 18:12 517844
libcoq-mathcomp-algebra-tactics_1.2.3-1+b1_armh..> 16-Feb-2024 15:15 517632
libcoq-mathcomp-algebra-tactics_1.2.3-1+b1_i386..> 16-Feb-2024 15:40 517748
libcoq-mathcomp-algebra-tactics_1.2.3-1_amd64.deb 20-Jan-2024 22:33 517700
libcoq-mathcomp-algebra-tactics_1.2.3-1_arm64.deb 20-Jan-2024 22:38 517736
libcoq-mathcomp-algebra-tactics_1.2.3-1_armhf.deb 20-Jan-2024 22:33 517332
libcoq-mathcomp-algebra-tactics_1.2.3-1_i386.deb 20-Jan-2024 22:38 517376
mathcomp-algebra-tactics_1.2.3-1.debian.tar.xz 20-Jan-2024 20:02 8864
mathcomp-algebra-tactics_1.2.3-1.dsc 20-Jan-2024 20:02 2282
mathcomp-algebra-tactics_1.2.3.orig.tar.gz 20-Jan-2024 20:02 58366