| Parent directory/ | - | - |
| coq-extructures_0.4.0.orig.tar.gz | 42179 | 2023-Dec-27 02:17 |
| coq-extructures_0.4.0-1build5.debian.tar.xz | 2484 | 2024-Apr-08 16:57 |
| coq-extructures_0.4.0-1build5.dsc | 2244 | 2024-Apr-08 16:57 |
| libcoq-extructures_0.4.0-1build5_arm64.deb | 731704 | 2024-Apr-09 15:03 |
| libcoq-extructures_0.4.0-1build5_ppc64el.deb | 731668 | 2024-Apr-09 15:03 |
| libcoq-extructures_0.4.0-1build5_s390x.deb | 731674 | 2024-Apr-09 15:03 |
| libcoq-extructures_0.4.0-1build5_armhf.deb | 731398 | 2024-Apr-09 15:03 |
| libcoq-extructures_0.4.0-1build5_riscv64.deb | 731738 | 2024-Apr-09 16:00 |
| coq-extructures_0.5.0.orig.tar.gz | 42630 | 2024-Dec-19 08:41 |
| coq-extructures_0.5.0-1build6.debian.tar.xz | 2548 | 2025-Feb-19 16:52 |
| coq-extructures_0.5.0-1build6.dsc | 2165 | 2025-Feb-19 16:52 |
| libcoq-extructures_0.5.0-1build6_ppc64el.deb | 842630 | 2025-Feb-20 18:57 |
| libcoq-extructures_0.5.0-1build6_s390x.deb | 842598 | 2025-Feb-20 18:58 |
| libcoq-extructures_0.5.0-1build6_arm64.deb | 842560 | 2025-Feb-21 05:15 |
| libcoq-extructures_0.5.0-1build6_riscv64.deb | 842434 | 2025-Feb-21 12:24 |
| coq-extructures_0.5.0-1build10.dsc | 2169 | 2025-Sep-01 04:42 |
| coq-extructures_0.5.0-1build10.debian.tar.xz | 2616 | 2025-Sep-01 04:42 |
| libcoq-extructures_0.5.0-1build10_arm64.deb | 840804 | 2025-Sep-02 17:36 |
| libcoq-extructures_0.5.0-1build10_ppc64el.deb | 840836 | 2025-Sep-02 17:36 |
| libcoq-extructures_0.5.0-1build10_s390x.deb | 840828 | 2025-Sep-02 17:36 |
| libcoq-extructures_0.5.0-1build10_riscv64.deb | 840462 | 2025-Sep-03 17:05 |
| coq-extructures_0.5.0-1build15.debian.tar.xz | 2720 | 2026-Mar-09 02:18 |
| coq-extructures_0.5.0-1build15.dsc | 2169 | 2026-Mar-09 02:18 |
| libcoq-extructures_0.5.0-1build15_arm64.deb | 841286 | 2026-Mar-09 02:19 |
| libcoq-extructures_0.5.0-1build15_ppc64el.deb | 841298 | 2026-Mar-09 02:20 |
| libcoq-extructures_0.5.0-1build15_s390x.deb | 841320 | 2026-Mar-09 02:20 |
| libcoq-extructures_0.5.0-1build15_riscv64.deb | 840874 | 2026-Mar-09 04:53 |
| coq-extructures_0.5.0-6build2.dsc | 2172 | 2026-Sep-20 15:48 |
| coq-extructures_0.5.0-6build2.debian.tar.xz | 3140 | 2026-Sep-20 15:48 |
| libcoq-extructures_0.5.0-6build2_arm64.deb | 819936 | 2026-Sep-20 18:59 |
| libcoq-extructures_0.5.0-6build2_ppc64el.deb | 819910 | 2026-Sep-20 18:59 |
| libcoq-extructures_0.5.0-6build2_s390x.deb | 820020 | 2026-Sep-20 18:59 |
| libcoq-extructures_0.5.0-6build2_riscv64.deb | 819964 | 2026-Sep-20 21:46 |