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