Parent directory/ | - | - |
coq-dbgsym_8.19.1+dfsg-1_loong64.deb | 8.9 MiB | 2024-Apr-26 20:03 |
coq_8.19.1+dfsg-1_loong64.buildinfo | 17.1 KiB | 2024-Apr-26 20:03 |
coq_8.19.1+dfsg-1_loong64.deb | 80.5 MiB | 2024-Apr-26 20:03 |
coqide-dbgsym_8.19.1+dfsg-1_loong64.deb | 652.2 KiB | 2024-Apr-26 20:03 |
coqide_8.19.1+dfsg-1_loong64.deb | 2.1 MiB | 2024-Apr-26 20:03 |
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-1_loong64.deb | 1.9 MiB | 2024-Apr-26 20:03 |
libcoq-core-ocaml-dev_8.19.1+dfsg-1_loong64.deb | 47.3 MiB | 2024-Apr-26 20:03 |
libcoq-core-ocaml_8.19.1+dfsg-1_loong64.deb | 22.8 MiB | 2024-Apr-26 20:03 |
libcoq-stdlib_8.19.1+dfsg-1_loong64.deb | 22.6 MiB | 2024-Apr-26 20:03 |