Parent directory/ | - | - |
coq_8.16.1+dfsg-1+b2_arm64.deb | 102168100 | 2023-Feb-13 01:55 |
coqide_8.16.1+dfsg-1+b2_arm64.deb | 2310756 | 2023-Feb-13 01:55 |
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb | 23093000 | 2023-Feb-13 01:55 |
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb | 42825080 | 2023-Feb-13 01:55 |
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb | 21528036 | 2023-Feb-13 01:55 |
coq_8.16.1+dfsg-1+b2_armhf.deb | 89867592 | 2023-Feb-13 01:55 |
coqide_8.16.1+dfsg-1+b2_armhf.deb | 1834728 | 2023-Feb-13 01:55 |
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb | 22259280 | 2023-Feb-13 01:55 |
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb | 43114464 | 2023-Feb-13 01:55 |
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb | 21527688 | 2023-Feb-13 01:55 |
coq_8.16.1+dfsg-1+b2_i386.deb | 87517396 | 2023-Feb-13 01:29 |
coqide_8.16.1+dfsg-1+b2_i386.deb | 1806236 | 2023-Feb-13 01:29 |
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb | 21747176 | 2023-Feb-13 01:29 |
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb | 42449528 | 2023-Feb-13 01:29 |
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb | 21528432 | 2023-Feb-13 01:29 |
coq_8.16.1+dfsg-1+b2_amd64.deb | 93212572 | 2023-Feb-13 01:14 |
coqide_8.16.1+dfsg-1+b2_amd64.deb | 1993412 | 2023-Feb-13 01:14 |
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb | 22556068 | 2023-Feb-13 01:14 |
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb | 42725424 | 2023-Feb-13 01:14 |
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb | 21526056 | 2023-Feb-13 01:14 |
coq_8.16.1+dfsg-1.dsc | 2629 | 2022-Nov-29 08:35 |
coq_8.16.1+dfsg.orig.tar.xz | 4717668 | 2022-Nov-29 08:35 |
coq_8.16.1+dfsg-1.debian.tar.xz | 33236 | 2022-Nov-29 08:35 |