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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-theories_8.12.0-3+b3_sparc64.deb2020-11-25 20:03 23M 
[ ]coq_8.12.0-3+b3_sparc64.buildinfo2020-11-25 20:03 16K 
[ ]coq_8.12.0-3+b3_sparc64.deb2020-11-25 20:03 101M 
[ ]coq_9.1.0+dfsg-1~sparc64.debian.tar.xz2025-10-08 08:03 24K 
[TXT]coq_9.1.0+dfsg-1~sparc64.dsc2025-10-08 08:03 2.6K 
[ ]coq_9.1.0+dfsg-1~sparc64_sparc64.buildinfo2025-10-08 08:03 16K 
[ ]coq_9.1.0+dfsg-1~sparc64_sparc64.deb2025-10-08 08:03 22M 
[ ]coq_9.1.0+dfsg-3+sparc64.debian.tar.xz2026-02-15 08:03 24K 
[TXT]coq_9.1.0+dfsg-3+sparc64.dsc2026-02-15 08:03 2.5K 
[ ]coq_9.1.0+dfsg-3+sparc64_sparc64.buildinfo2026-02-15 08:03 16K 
[ ]coq_9.1.0+dfsg-3+sparc64_sparc64.deb2026-02-15 08:03 22M 
[ ]coq_9.1.0+dfsg.orig.tar.xz2025-10-08 08:03 3.7M 
[ ]coqide_8.12.0-3+b3_sparc64.deb2020-11-25 20:03 46K 
[ ]libcoq-core-ocaml-dev_9.1.0+dfsg-1~sparc64_sparc64.deb2025-10-08 08:03 59M 
[ ]libcoq-core-ocaml-dev_9.1.0+dfsg-3+sparc64_sparc64.deb2026-02-15 08:03 43M 
[ ]libcoq-core-ocaml_9.1.0+dfsg-1~sparc64_sparc64.deb2025-10-08 08:03 19M 
[ ]libcoq-core-ocaml_9.1.0+dfsg-3+sparc64_sparc64.deb2026-02-15 08:03 17M 
[ ]libcoq-core_9.1.0+dfsg-1~sparc64_sparc64.deb2025-10-08 08:03 1.1M 
[ ]libcoq-core_9.1.0+dfsg-3+sparc64_sparc64.deb2026-02-15 08:03 1.1M 
[ ]libcoq-ocaml-dbgsym_8.12.0-3+b3_sparc64.deb2020-11-25 20:03 36K 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_sparc64.deb2020-11-25 20:03 11M 
[ ]libcoq-ocaml_8.12.0-3+b3_sparc64.deb2020-11-25 20:03 5.2M 
[ ]rocqide_9.1.0+dfsg-1~sparc64_sparc64.deb2025-10-08 08:03 537K 
[ ]rocqide_9.1.0+dfsg-3+sparc64_sparc64.deb2026-02-15 08:03 542K