| Parent directory/ | - | - |
| coq-dbgsym_8.19.1+dfsg-3_ppc64.deb | 8686620 | 2024-Aug-03 21:03 |
| coq_8.19.1+dfsg-3_ppc64.buildinfo | 16959 | 2024-Aug-03 21:03 |
| coq_8.19.1+dfsg-3_ppc64.deb | 81987028 | 2024-Aug-03 21:03 |
| coq_9.1.0+dfsg-1~ppc64.debian.tar.xz | 24216 | 2025-Oct-08 21:03 |
| coq_9.1.0+dfsg-1~ppc64.dsc | 2627 | 2025-Oct-08 21:03 |
| coq_9.1.0+dfsg-1~ppc64_ppc64.buildinfo | 16239 | 2025-Oct-08 21:03 |
| coq_9.1.0+dfsg-1~ppc64_ppc64.deb | 23264932 | 2025-Oct-08 21:03 |
| coq_9.1.0+dfsg.orig.tar.xz | 3834256 | 2025-Oct-08 21:03 |
| coq_9.2.0+dfsg-1_ppc64.buildinfo | 16115 | 2026-Jul-10 21:03 |
| coq_9.2.0+dfsg-1_ppc64.deb | 24192800 | 2026-Jul-10 21:03 |
| coqide-dbgsym_8.19.1+dfsg-3_ppc64.deb | 642808 | 2024-Aug-03 21:03 |
| coqide_8.19.1+dfsg-3_ppc64.deb | 2025164 | 2024-Aug-03 21:03 |
| libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3_ppc64.deb | 2078620 | 2024-Aug-03 21:03 |
| libcoq-core-ocaml-dev_8.19.1+dfsg-3_ppc64.deb | 46337952 | 2024-Aug-03 21:03 |
| libcoq-core-ocaml-dev_9.1.0+dfsg-1~ppc64_ppc64.deb | 61811816 | 2025-Oct-08 21:03 |
| libcoq-core-ocaml-dev_9.2.0+dfsg-1_ppc64.deb | 46292160 | 2026-Jul-10 21:03 |
| libcoq-core-ocaml_8.19.1+dfsg-3_ppc64.deb | 23366248 | 2024-Aug-03 21:03 |
| libcoq-core-ocaml_9.1.0+dfsg-1~ppc64_ppc64.deb | 19437336 | 2025-Oct-08 21:03 |
| libcoq-core-ocaml_9.2.0+dfsg-1_ppc64.deb | 17996456 | 2026-Jul-10 21:03 |
| libcoq-core_9.1.0+dfsg-1~ppc64_ppc64.deb | 1138532 | 2025-Oct-08 21:03 |
| libcoq-core_9.2.0+dfsg-1_ppc64.deb | 1153068 | 2026-Jul-10 21:03 |
| libcoq-stdlib_8.19.1+dfsg-3_ppc64.deb | 23659908 | 2024-Aug-03 21:03 |
| rocqide_9.1.0+dfsg-1~ppc64_ppc64.deb | 634292 | 2025-Oct-08 21:03 |
| rocqide_9.2.0+dfsg-1_ppc64.deb | 637956 | 2026-Jul-10 21:03 |