| Parent directory/ | - | - |
| libcoq-mathcomp-algebra-tactics_1.2.7-5+b2_riscv..> | 928.8 KiB | 2026-Sep-19 11:02 |
| libcoq-mathcomp-algebra-tactics_1.2.7-5+b2_s390x..> | 928.4 KiB | 2026-Sep-19 06:40 |
| libcoq-mathcomp-algebra-tactics_1.2.7-5+b2_amd64..> | 928.4 KiB | 2026-Sep-19 03:17 |
| libcoq-mathcomp-algebra-tactics_1.2.7-5+b2_ppc64..> | 928.9 KiB | 2026-Sep-19 03:17 |
| libcoq-mathcomp-algebra-tactics_1.2.7-5+b2_arm64..> | 928.5 KiB | 2026-Sep-19 03:12 |
| libcoq-mathcomp-algebra-tactics_1.2.7-5+b1_riscv..> | 928.7 KiB | 2026-Aug-28 06:22 |
| libcoq-mathcomp-algebra-tactics_1.2.7-5+b1_amd64..> | 928.7 KiB | 2026-Aug-26 22:07 |
| libcoq-mathcomp-algebra-tactics_1.2.7-5+b1_ppc64..> | 928.7 KiB | 2026-Aug-26 22:07 |
| libcoq-mathcomp-algebra-tactics_1.2.7-5+b1_s390x..> | 928.6 KiB | 2026-Aug-26 22:07 |
| libcoq-mathcomp-algebra-tactics_1.2.7-5+b1_arm64..> | 928.7 KiB | 2026-Aug-26 22:02 |
| libcoq-mathcomp-algebra-tactics_1.2.7-5_riscv64...> | 928.3 KiB | 2026-Aug-13 19:36 |
| libcoq-mathcomp-algebra-tactics_1.2.7-5_amd64.deb | 928.2 KiB | 2026-Aug-12 13:22 |
| libcoq-mathcomp-algebra-tactics_1.2.7-5_ppc64el...> | 928.5 KiB | 2026-Aug-12 13:22 |
| libcoq-mathcomp-algebra-tactics_1.2.7-5_arm64.deb | 928.4 KiB | 2026-Aug-12 13:17 |
| libcoq-mathcomp-algebra-tactics_1.2.7-5_s390x.deb | 928.2 KiB | 2026-Aug-12 13:17 |
| mathcomp-algebra-tactics_1.2.7-5.debian.tar.xz | 9.5 KiB | 2026-Aug-12 13:02 |
| mathcomp-algebra-tactics_1.2.7-5.dsc | 2.2 KiB | 2026-Aug-12 13:02 |
| libcoq-mathcomp-algebra-tactics_1.2.7-4+b1_ppc64..> | 928.7 KiB | 2026-Aug-12 07:21 |
| libcoq-mathcomp-algebra-tactics_1.2.7-4+b2_amd64..> | 928.6 KiB | 2026-Aug-12 07:21 |
| libcoq-mathcomp-algebra-tactics_1.2.7-4+b1_arm64..> | 928.6 KiB | 2026-Aug-12 07:21 |
| libcoq-mathcomp-algebra-tactics_1.2.7-4+b1_s390x..> | 928.9 KiB | 2026-Aug-12 07:21 |
| libcoq-mathcomp-algebra-tactics_1.2.7-4+b1_amd64..> | 928.5 KiB | 2026-Jul-31 21:36 |
| libcoq-mathcomp-algebra-tactics_1.2.7-4_ppc64el...> | 928.3 KiB | 2026-Jul-29 11:40 |
| libcoq-mathcomp-algebra-tactics_1.2.7-4_s390x.deb | 928.1 KiB | 2026-Jul-29 11:35 |
| libcoq-mathcomp-algebra-tactics_1.2.7-4_arm64.deb | 928.4 KiB | 2026-Jul-29 11:35 |
| mathcomp-algebra-tactics_1.2.7.orig.tar.gz | 58.0 KiB | 2026-Jul-29 11:14 |
| mathcomp-algebra-tactics_1.2.7-4.dsc | 2.2 KiB | 2026-Jul-29 11:14 |
| libcoq-mathcomp-algebra-tactics_1.2.7-4_amd64.deb | 928.3 KiB | 2026-Jul-29 11:14 |
| mathcomp-algebra-tactics_1.2.7-4.debian.tar.xz | 9.5 KiB | 2026-Jul-29 11:14 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b14_amd6..> | 745.1 KiB | 2026-Feb-13 22:53 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b14_arm6..> | 745.3 KiB | 2026-Feb-13 20:08 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b12_risc..> | 745.5 KiB | 2025-Dec-29 01:02 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b12_s390..> | 745.4 KiB | 2025-Dec-28 07:32 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b12_ppc6..> | 744.6 KiB | 2025-Dec-28 07:07 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b13_amd6..> | 745.3 KiB | 2025-Dec-28 06:47 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b13_arm6..> | 745.1 KiB | 2025-Dec-28 06:37 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b10_risc..> | 745.0 KiB | 2025-Oct-29 09:09 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b11_arm6..> | 745.5 KiB | 2025-Oct-28 21:29 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b10_s390..> | 745.0 KiB | 2025-Oct-28 21:29 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b10_ppc6..> | 745.4 KiB | 2025-Oct-28 21:29 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b11_amd6..> | 745.1 KiB | 2025-Oct-28 21:09 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b9_riscv..> | 745.1 KiB | 2025-Oct-18 05:15 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b9_ppc64..> | 745.1 KiB | 2025-Oct-17 14:13 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b9_s390x..> | 745.2 KiB | 2025-Oct-17 13:58 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b10_arm6..> | 744.7 KiB | 2025-Oct-17 13:58 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b10_amd6..> | 745.1 KiB | 2025-Oct-17 13:12 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b8_riscv..> | 745.4 KiB | 2025-Sep-25 22:12 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b8_s390x..> | 745.3 KiB | 2025-Sep-24 20:10 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b9_arm64..> | 745.7 KiB | 2025-Sep-24 13:49 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b8_ppc64..> | 745.7 KiB | 2025-Sep-24 12:38 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b9_amd64..> | 744.6 KiB | 2025-Sep-24 11:05 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b7_riscv..> | 745.7 KiB | 2025-Sep-16 23:38 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b7_s390x..> | 745.3 KiB | 2025-Sep-16 15:04 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b8_arm64..> | 744.9 KiB | 2025-Sep-16 12:45 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b8_amd64..> | 744.7 KiB | 2025-Sep-16 12:29 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b7_ppc64..> | 745.4 KiB | 2025-Sep-16 12:29 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b6_riscv..> | 745.8 KiB | 2025-Sep-12 12:52 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b6_s390x..> | 745.8 KiB | 2025-Sep-12 10:38 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b7_arm64..> | 745.7 KiB | 2025-Sep-11 23:14 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b6_ppc64..> | 745.0 KiB | 2025-Sep-11 22:48 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b7_amd64..> | 744.8 KiB | 2025-Sep-11 22:48 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b5_s390x..> | 745.5 KiB | 2025-Aug-27 11:52 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b5_riscv..> | 744.9 KiB | 2025-Aug-27 04:50 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b6_arm64..> | 745.8 KiB | 2025-Aug-26 13:22 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b6_amd64..> | 745.3 KiB | 2025-Aug-26 12:36 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b5_ppc64..> | 745.9 KiB | 2025-Aug-26 12:06 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b4_s390x..> | 745.5 KiB | 2025-Jun-17 23:18 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b4_riscv..> | 745.6 KiB | 2025-Jun-17 22:22 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b5_arm64..> | 745.2 KiB | 2025-Jun-17 11:38 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b5_amd64..> | 745.2 KiB | 2025-Jun-17 11:18 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b4_ppc64..> | 745.4 KiB | 2025-Jun-17 11:18 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b3_ppc64..> | 745.3 KiB | 2025-Jun-15 09:19 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b4_arm64..> | 745.9 KiB | 2025-Jun-15 08:08 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b4_amd64..> | 745.4 KiB | 2025-Jun-15 04:52 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b3_riscv..> | 745.8 KiB | 2025-Mar-19 10:14 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b3_s390x..> | 745.1 KiB | 2025-Mar-19 00:08 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b2_ppc64..> | 745.4 KiB | 2025-Mar-18 19:37 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b3_arm64..> | 745.3 KiB | 2025-Mar-18 19:37 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b3_amd64..> | 745.5 KiB | 2025-Mar-18 19:17 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b2_s390x..> | 744.5 KiB | 2025-Feb-19 00:51 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b2_riscv..> | 745.4 KiB | 2025-Feb-18 19:45 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b2_arm64..> | 744.1 KiB | 2025-Feb-18 11:54 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b2_amd64..> | 744.4 KiB | 2025-Feb-18 11:49 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1+b1_ppc64..> | 744.7 KiB | 2025-Feb-18 03:18 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1_riscv64...> | 734.7 KiB | 2025-Feb-17 22:33 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1_s390x.deb | 735.3 KiB | 2025-Feb-17 19:52 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1_arm64.deb | 735.1 KiB | 2025-Feb-17 17:23 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1_ppc64el...> | 734.3 KiB | 2025-Feb-17 17:18 |
| libcoq-mathcomp-algebra-tactics_1.2.4-1_amd64.deb | 735.2 KiB | 2025-Feb-17 17:12 |
| mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz | 8.8 KiB | 2025-Feb-17 16:42 |
| mathcomp-algebra-tactics_1.2.4-1.dsc | 2.2 KiB | 2025-Feb-17 16:42 |
| mathcomp-algebra-tactics_1.2.4.orig.tar.gz | 57.7 KiB | 2025-Feb-17 16:42 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b13_s390..> | 720.8 KiB | 2025-Feb-14 19:53 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b10_risc..> | 721.1 KiB | 2025-Feb-14 07:52 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b10_arm6..> | 720.7 KiB | 2025-Feb-13 19:34 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b10_ppc6..> | 720.6 KiB | 2025-Feb-13 18:38 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b11_amd6..> | 720.4 KiB | 2025-Feb-13 18:27 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b9_riscv..> | 720.8 KiB | 2025-Jan-31 01:01 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b12_s390..> | 721.1 KiB | 2025-Jan-30 11:16 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b9_arm64..> | 720.8 KiB | 2025-Jan-29 01:16 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b10_amd6..> | 720.6 KiB | 2025-Jan-28 21:37 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b9_ppc64..> | 720.3 KiB | 2025-Jan-28 20:06 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b8_riscv..> | 721.0 KiB | 2025-Jan-15 23:13 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b11_s390..> | 720.8 KiB | 2025-Jan-15 18:06 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b8_arm64..> | 721.0 KiB | 2025-Jan-15 09:09 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b8_ppc64..> | 720.7 KiB | 2025-Jan-15 08:04 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b9_amd64..> | 720.3 KiB | 2025-Jan-15 07:12 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b10_s390..> | 721.1 KiB | 2024-Dec-22 03:00 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b7_riscv..> | 721.0 KiB | 2024-Dec-19 23:02 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b7_arm64..> | 720.7 KiB | 2024-Dec-19 21:57 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b7_ppc64..> | 721.2 KiB | 2024-Dec-19 18:16 |
| libcoq-mathcomp-algebra-tactics_1.2.3-4+b8_amd64..> | 721.1 KiB | 2024-Dec-19 17:10 |
| mathcomp-algebra-tactics_1.2.3-4.dsc | 2.0 KiB | 2024-Aug-03 12:47 |
| mathcomp-algebra-tactics_1.2.3-4.debian.tar.xz | 8.8 KiB | 2024-Aug-03 12:47 |
| mathcomp-algebra-tactics_1.2.3.orig.tar.gz | 57.0 KiB | 2024-Jan-20 20:02 |
| libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_ppc64..> | 224.3 KiB | 2023-Feb-14 12:43 |
| libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_arm64..> | 224.3 KiB | 2023-Feb-14 10:44 |
| libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_i386...> | 224.2 KiB | 2023-Feb-14 10:29 |
| libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_amd64..> | 224.4 KiB | 2023-Feb-14 10:29 |
| mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz | 8.5 KiB | 2022-Nov-10 15:34 |
| mathcomp-algebra-tactics_1.0.0-8.dsc | 2.2 KiB | 2022-Nov-10 15:34 |
| mathcomp-algebra-tactics_1.0.0.orig.tar.gz | 36.4 KiB | 2022-May-18 07:28 |