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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]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.2.0+dfsg-1_sparc64.buildinfo2026-07-10 20:03 16K 
[ ]coq_9.2.0+dfsg-1_sparc64.deb2026-07-10 20:03 23M 
[ ]coq_9.2.0+dfsg-2_sparc64.buildinfo2026-07-21 20:03 16K 
[ ]coq_9.2.0+dfsg-2_sparc64.deb2026-07-21 20:03 23M 
[ ]libcoq-core-ocaml-dev_9.1.0+dfsg-3+sparc64_sparc64.deb2026-02-15 08:03 43M 
[ ]libcoq-core-ocaml-dev_9.2.0+dfsg-1_sparc64.deb2026-07-10 20:03 44M 
[ ]libcoq-core-ocaml-dev_9.2.0+dfsg-2_sparc64.deb2026-07-21 20:03 44M 
[ ]libcoq-core-ocaml_9.1.0+dfsg-3+sparc64_sparc64.deb2026-02-15 08:03 17M 
[ ]libcoq-core-ocaml_9.2.0+dfsg-1_sparc64.deb2026-07-10 20:03 17M 
[ ]libcoq-core-ocaml_9.2.0+dfsg-2_sparc64.deb2026-07-21 20:03 17M 
[ ]libcoq-core_9.1.0+dfsg-3+sparc64_sparc64.deb2026-02-15 08:03 1.1M 
[ ]libcoq-core_9.2.0+dfsg-1_sparc64.deb2026-07-10 20:03 1.1M 
[ ]libcoq-core_9.2.0+dfsg-2_sparc64.deb2026-07-21 20:03 1.1M 
[ ]rocqide_9.1.0+dfsg-3+sparc64_sparc64.deb2026-02-15 08:03 542K 
[ ]rocqide_9.2.0+dfsg-1_sparc64.deb2026-07-10 20:03 539K 
[ ]rocqide_9.2.0+dfsg-2_sparc64.deb2026-07-21 20:03 539K