Index of /debian-ports/pool-ppc64/main/c/coq

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]coq-dbgsym_8.15.1+dfsg-2_ppc64.deb2022-05-21 00:03 5.6M
[   ]coq_8.15.1+dfsg-2_ppc64.buildinfo2022-05-21 00:03 16K
[   ]coq_8.15.1+dfsg-2_ppc64.deb2022-05-21 00:03 76M
[   ]coqide-dbgsym_8.15.1+dfsg-2_ppc64.deb2022-05-21 00:03 467K
[   ]coqide_8.15.1+dfsg-2_ppc64.deb2022-05-21 00:03 1.9M
[   ]libcoq-core-ocaml-dbgsym_8.15.1+dfsg-2_ppc64.deb2022-05-21 00:03 1.1M
[   ]libcoq-core-ocaml-dev_8.15.1+dfsg-2_ppc64.deb2022-05-21 00:03 41M
[   ]libcoq-core-ocaml_8.15.1+dfsg-2_ppc64.deb2022-05-21 00:03 21M
[   ]libcoq-stdlib_8.15.1+dfsg-2_ppc64.deb2022-05-21 00:03 20M

Apache Server at ftp.ports.debian.org Port 80