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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]coq-theories_8.12.0-3+b3_sparc64.deb2020-11-25 12:03 23M
[ ]coq_8.12.0-3+b3_sparc64.buildinfo2020-11-25 12:03 16K
[ ]coq_8.12.0-3+b3_sparc64.deb2020-11-25 12:03 101M
[ ]coq_9.1.0+dfsg-3+sparc64.debian.tar.xz2026-02-15 00:03 24K
[TXT]coq_9.1.0+dfsg-3+sparc64.dsc2026-02-15 00:03 2.5K
[ ]coq_9.1.0+dfsg-3+sparc64_sparc64.buildinfo2026-02-15 00:03 16K
[ ]coq_9.1.0+dfsg-3+sparc64_sparc64.deb2026-02-15 00:03 22M
[ ]coq_9.2.0+dfsg-1_sparc64.buildinfo2026-07-10 12:03 16K
[ ]coq_9.2.0+dfsg-1_sparc64.deb2026-07-10 12:03 23M
[ ]coqide_8.12.0-3+b3_sparc64.deb2020-11-25 12:03 46K
[ ]libcoq-core-ocaml-dev_9.1.0+dfsg-3+sparc64_sparc64.deb2026-02-15 00:03 43M
[ ]libcoq-core-ocaml-dev_9.2.0+dfsg-1_sparc64.deb2026-07-10 12:03 44M
[ ]libcoq-core-ocaml_9.1.0+dfsg-3+sparc64_sparc64.deb2026-02-15 00:03 17M
[ ]libcoq-core-ocaml_9.2.0+dfsg-1_sparc64.deb2026-07-10 12:03 17M
[ ]libcoq-core_9.1.0+dfsg-3+sparc64_sparc64.deb2026-02-15 00:03 1.1M
[ ]libcoq-core_9.2.0+dfsg-1_sparc64.deb2026-07-10 12:03 1.1M
[ ]libcoq-ocaml-dbgsym_8.12.0-3+b3_sparc64.deb2020-11-25 12:03 36K
[ ]libcoq-ocaml-dev_8.12.0-3+b3_sparc64.deb2020-11-25 12:03 11M
[ ]libcoq-ocaml_8.12.0-3+b3_sparc64.deb2020-11-25 12:03 5.2M
[ ]rocqide_9.1.0+dfsg-3+sparc64_sparc64.deb2026-02-15 00:03 542K
[ ]rocqide_9.2.0+dfsg-1_sparc64.deb2026-07-10 12:03 539K
Apache Server at ftp.ports.debian.org Port 80