File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
libcoq-core-ocaml_8.19.1+dfsg-3_loong64.deb | 22.6 MiB | 2024-08-03T12:03Z |
coq_8.19.1+dfsg-3_loong64.deb | 80.9 MiB | 2024-08-03T12:03Z |
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3_loong64.deb | 2.1 MiB | 2024-08-03T12:03Z |
coqide_8.19.1+dfsg-3_loong64.deb | 2.1 MiB | 2024-08-03T12:03Z |
libcoq-core-ocaml-dev_8.19.1+dfsg-3_loong64.deb | 46.8 MiB | 2024-08-03T12:03Z |
libcoq-stdlib_8.19.1+dfsg-3_loong64.deb | 22.6 MiB | 2024-08-03T12:03Z |
coqide-dbgsym_8.19.1+dfsg-3_loong64.deb | 652.0 KiB | 2024-08-03T12:03Z |
coq-dbgsym_8.19.1+dfsg-3_loong64.deb | 9.2 MiB | 2024-08-03T12:03Z |
coq_8.19.1+dfsg-3_loong64.buildinfo | 16.7 KiB | 2024-08-03T12:03Z |