Parent directory/ | - | - |
coq-deriving_0.2.0.orig.tar.gz | 31391 | 2023-Dec-25 17:31 |
coq-deriving_0.2.0-1build5.debian.tar.xz | 2384 | 2024-Apr-08 07:57 |
coq-deriving_0.2.0-1build5.dsc | 2191 | 2024-Apr-08 07:57 |
libcoq-deriving_0.2.0-1build5_arm64.deb | 491362 | 2024-Apr-08 19:24 |
libcoq-deriving_0.2.0-1build5_armhf.deb | 491036 | 2024-Apr-08 19:24 |
libcoq-deriving_0.2.0-1build5_ppc64el.deb | 491334 | 2024-Apr-08 20:09 |
libcoq-deriving_0.2.0-1build5_s390x.deb | 491370 | 2024-Apr-09 03:08 |
libcoq-deriving_0.2.0-1build5_riscv64.deb | 491352 | 2024-Apr-09 05:15 |
coq-deriving_0.2.0-3build5.dsc | 2112 | 2024-Sep-17 15:51 |
coq-deriving_0.2.0-3build5.debian.tar.xz | 2384 | 2024-Sep-17 15:51 |
libcoq-deriving_0.2.0-3build5_s390x.deb | 520096 | 2024-Sep-19 23:39 |
libcoq-deriving_0.2.0-3build5_arm64.deb | 520106 | 2024-Sep-19 23:39 |
libcoq-deriving_0.2.0-3build5_ppc64el.deb | 520114 | 2024-Sep-20 01:35 |
libcoq-deriving_0.2.0-3build5_riscv64.deb | 520058 | 2024-Sep-20 10:37 |
coq-deriving_0.2.1.orig.tar.gz | 31849 | 2024-Dec-18 23:41 |
coq-deriving_0.2.1-1build5.debian.tar.xz | 2392 | 2025-Feb-19 07:52 |
coq-deriving_0.2.1-1build5.dsc | 2112 | 2025-Feb-19 07:52 |
libcoq-deriving_0.2.1-1build5_ppc64el.deb | 558858 | 2025-Feb-20 04:20 |
libcoq-deriving_0.2.1-1build5_s390x.deb | 558824 | 2025-Feb-20 04:21 |
libcoq-deriving_0.2.1-1build5_arm64.deb | 558878 | 2025-Feb-20 15:13 |
libcoq-deriving_0.2.1-1build5_riscv64.deb | 558848 | 2025-Feb-20 17:00 |
coq-deriving_0.2.1-1build8.debian.tar.xz | 2440 | 2025-Jun-19 17:20 |
coq-deriving_0.2.1-1build8.dsc | 2112 | 2025-Jun-19 17:20 |
libcoq-deriving_0.2.1-1build8_ppc64el.deb | 557564 | 2025-Jun-20 15:15 |
libcoq-deriving_0.2.1-1build8_arm64.deb | 557558 | 2025-Jun-20 17:40 |
libcoq-deriving_0.2.1-1build8_s390x.deb | 557590 | 2025-Jun-20 17:40 |
libcoq-deriving_0.2.1-1build8_riscv64.deb | 557448 | 2025-Jun-21 10:50 |