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

../
coq-theories_8.12.0-3+b3_sparc64.deb               25-Nov-2020 12:03            23920424
coq_8.12.0-3+b3_sparc64.buildinfo                  25-Nov-2020 12:03               16103
coq_8.12.0-3+b3_sparc64.deb                        25-Nov-2020 12:03           105855792
coq_9.1.0+dfsg-3+sparc64.debian.tar.xz             15-Feb-2026 00:03               24232
coq_9.1.0+dfsg-3+sparc64.dsc                       15-Feb-2026 00:03                2572
coq_9.1.0+dfsg-3+sparc64_sparc64.buildinfo         15-Feb-2026 00:03               16444
coq_9.1.0+dfsg-3+sparc64_sparc64.deb               15-Feb-2026 00:03            23400868
coqide_8.12.0-3+b3_sparc64.deb                     25-Nov-2020 12:03               46760
libcoq-core-ocaml-dev_9.1.0+dfsg-3+sparc64_spar..> 15-Feb-2026 00:03            44857784
libcoq-core-ocaml_9.1.0+dfsg-3+sparc64_sparc64.deb 15-Feb-2026 00:03            17474564
libcoq-core_9.1.0+dfsg-3+sparc64_sparc64.deb       15-Feb-2026 00:03             1137332
libcoq-ocaml-dbgsym_8.12.0-3+b3_sparc64.deb        25-Nov-2020 12:03               36352
libcoq-ocaml-dev_8.12.0-3+b3_sparc64.deb           25-Nov-2020 12:03            11279144
libcoq-ocaml_8.12.0-3+b3_sparc64.deb               25-Nov-2020 12:03             5459340
rocqide_9.1.0+dfsg-3+sparc64_sparc64.deb           15-Feb-2026 00:03              555300