|
📁 ../
|
- |
- |
|
📄 coq_8.16.1+dfsg-1+b2_amd64.deb
|
93212572 bytes
|
2025-08-02 08:23:24 |
|
📄 coq_8.16.1+dfsg-1+b2_arm64.deb
|
102168100 bytes
|
2025-08-02 08:23:25 |
|
📄 coq_8.16.1+dfsg-1+b2_armhf.deb
|
89867592 bytes
|
2025-08-02 08:23:26 |
|
📄 coq_8.16.1+dfsg-1+b2_i386.deb
|
87517396 bytes
|
2025-08-02 08:23:28 |
|
📄 coq_8.16.1+dfsg-1.debian.tar.xz
|
33236 bytes
|
2025-08-02 08:23:28 |
|
📄 coq_8.16.1+dfsg-1.dsc
|
2629 bytes
|
2025-08-02 08:23:28 |
|
📄 coq_8.16.1+dfsg.orig.tar.xz
|
4717668 bytes
|
2025-08-02 08:23:28 |
|
📄 coqide_8.16.1+dfsg-1+b2_amd64.deb
|
1993412 bytes
|
2025-08-02 08:23:28 |
|
📄 coqide_8.16.1+dfsg-1+b2_arm64.deb
|
2310756 bytes
|
2025-08-02 08:23:28 |
|
📄 coqide_8.16.1+dfsg-1+b2_armhf.deb
|
1834728 bytes
|
2025-08-02 08:23:28 |
|
📄 coqide_8.16.1+dfsg-1+b2_i386.deb
|
1806236 bytes
|
2025-08-02 08:23:28 |
|
📄 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb
|
42725424 bytes
|
2025-08-02 08:23:29 |
|
📄 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb
|
42825080 bytes
|
2025-08-02 08:23:30 |
|
📄 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb
|
43114464 bytes
|
2025-08-02 08:23:30 |
|
📄 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb
|
42449528 bytes
|
2025-08-02 08:23:31 |
|
📄 libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb
|
22556068 bytes
|
2025-08-02 08:23:32 |
|
📄 libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb
|
23093000 bytes
|
2025-08-02 08:23:32 |
|
📄 libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb
|
22259280 bytes
|
2025-08-02 08:23:33 |
|
📄 libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb
|
21747176 bytes
|
2025-08-02 08:23:33 |
|
📄 libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb
|
21526056 bytes
|
2025-08-02 08:23:34 |
|
📄 libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb
|
21528036 bytes
|
2025-08-02 08:23:34 |
|
📄 libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb
|
21527688 bytes
|
2025-08-02 08:23:34 |
|
📄 libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb
|
21528432 bytes
|
2025-08-02 08:23:35 |