| Parent Directory | - | - | - |
| coq-ext-lib_0.12.0-1build4.debian.tar.xz | 2024-04-08 07:57 | 2492 | - |
| coq-ext-lib_0.12.0-1build4.dsc | 2024-04-08 07:57 | 2167 | - |
| coq-ext-lib_0.12.0.orig.tar.gz | 2023-12-22 17:26 | 83450 | - |
| coq-ext-lib_0.13.0-1build3.debian.tar.xz | 2025-02-18 21:25 | 2540 | - |
| coq-ext-lib_0.13.0-1build3.dsc | 2025-02-18 21:25 | 2088 | - |
| coq-ext-lib_0.13.0-1build4.debian.tar.xz | 2025-06-20 13:22 | 2568 | - |
| coq-ext-lib_0.13.0-1build4.dsc | 2025-06-20 13:22 | 2088 | - |
| coq-ext-lib_0.13.0-1build7.debian.tar.xz | 2026-03-03 11:45 | 2644 | - |
| coq-ext-lib_0.13.0-1build7.dsc | 2026-03-03 11:45 | 2088 | - |
| coq-ext-lib_0.13.0.orig.tar.gz | 2025-01-10 00:33 | 85306 | - |
| coq-ext-lib_0.13.1-2.debian.tar.xz | 2026-07-28 17:29 | 2524 | - |
| coq-ext-lib_0.13.1-2.dsc | 2026-07-28 17:29 | 2108 | - |
| coq-ext-lib_0.13.1.orig.tar.gz | 2026-07-28 17:29 | 85531 | - |
| libcoq-ext-lib_0.12.0-1build4_amd64.deb | 2024-04-08 07:57 | 842022 | - |
| libcoq-ext-lib_0.13.0-1build3_amd64.deb | 2025-02-18 21:25 | 853782 | - |
| libcoq-ext-lib_0.13.0-1build4_amd64.deb | 2025-06-20 13:23 | 851198 | - |
| libcoq-ext-lib_0.13.0-1build4_arm64.deb | 2025-06-20 13:24 | 851246 | - |
| libcoq-ext-lib_0.13.0-1build7_amd64.deb | 2026-03-03 11:45 | 851182 | - |
| libcoq-ext-lib_0.13.0-1build7_amd64v3.deb | 2026-03-03 11:45 | 851112 | - |
| libcoq-ext-lib_0.13.0-1build7_arm64.deb | 2026-03-03 11:45 | 851190 | - |
| libcoq-ext-lib_0.13.0-1build8_amd64v3.deb | 2026-07-08 21:25 | 851288 | - |
| libcoq-ext-lib_0.13.1-2_amd64.deb | 2026-08-14 21:55 | 865016 | - |
| libcoq-ext-lib_0.13.1-2_amd64v3.deb | 2026-08-18 16:48 | 864982 | - |
| libcoq-ext-lib_0.13.1-2_arm64.deb | 2026-08-14 22:25 | 864962 | - |