|
📁 ../
|
- |
- |
|
📄 coq-dbgsym_8.19.1+dfsg-3_ppc64.deb
|
8686620 bytes
|
2024-08-03 12:03:05 |
|
📄 coq_8.19.1+dfsg-3_ppc64.buildinfo
|
16959 bytes
|
2024-08-03 12:03:05 |
|
📄 coq_8.19.1+dfsg-3_ppc64.deb
|
81987028 bytes
|
2024-08-03 12:03:05 |
|
📄 coq_9.1.0+dfsg-1~ppc64.debian.tar.xz
|
24216 bytes
|
2025-10-08 12:03:02 |
|
📄 coq_9.1.0+dfsg-1~ppc64.dsc
|
2627 bytes
|
2025-10-08 12:03:02 |
|
📄 coq_9.1.0+dfsg-1~ppc64_ppc64.buildinfo
|
16239 bytes
|
2025-10-08 12:03:02 |
|
📄 coq_9.1.0+dfsg-1~ppc64_ppc64.deb
|
23264932 bytes
|
2025-10-08 12:03:02 |
|
📄 coq_9.1.0+dfsg.orig.tar.xz
|
3834256 bytes
|
2025-10-08 12:03:02 |
|
📄 coqide-dbgsym_8.19.1+dfsg-3_ppc64.deb
|
642808 bytes
|
2024-08-03 12:03:05 |
|
📄 coqide_8.19.1+dfsg-3_ppc64.deb
|
2025164 bytes
|
2024-08-03 12:03:05 |
|
📄 libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3_ppc64.deb
|
2078620 bytes
|
2024-08-03 12:03:05 |
|
📄 libcoq-core-ocaml-dev_8.19.1+dfsg-3_ppc64.deb
|
46337952 bytes
|
2024-08-03 12:03:05 |
|
📄 libcoq-core-ocaml-dev_9.1.0+dfsg-1~ppc64_ppc64.deb
|
61811816 bytes
|
2025-10-08 12:03:03 |
|
📄 libcoq-core-ocaml_8.19.1+dfsg-3_ppc64.deb
|
23366248 bytes
|
2024-08-03 12:03:05 |
|
📄 libcoq-core-ocaml_9.1.0+dfsg-1~ppc64_ppc64.deb
|
19437336 bytes
|
2025-10-08 12:03:03 |
|
📄 libcoq-core_9.1.0+dfsg-1~ppc64_ppc64.deb
|
1138532 bytes
|
2025-10-08 12:03:03 |
|
📄 libcoq-stdlib_8.19.1+dfsg-3_ppc64.deb
|
23659908 bytes
|
2024-08-03 12:03:05 |
|
📄 rocqide_9.1.0+dfsg-1~ppc64_ppc64.deb
|
634292 bytes
|
2025-10-08 12:03:03 |