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-1~sparc64.debian.tar.xz             08-Oct-2025 00:03               24200
coq_9.1.0+dfsg-1~sparc64.dsc                       08-Oct-2025 00:03                2635
coq_9.1.0+dfsg-1~sparc64_sparc64.buildinfo         08-Oct-2025 00:03               16194
coq_9.1.0+dfsg-1~sparc64_sparc64.deb               08-Oct-2025 00:03            23027740
coq_9.1.0+dfsg.orig.tar.xz                         08-Oct-2025 00:03             3834256
coqide_8.12.0-3+b3_sparc64.deb                     25-Nov-2020 12:03               46760
libcoq-core-ocaml-dev_9.1.0+dfsg-1~sparc64_spar..> 08-Oct-2025 00:03            61806508
libcoq-core-ocaml_9.1.0+dfsg-1~sparc64_sparc64.deb 08-Oct-2025 00:03            19433064
libcoq-core_9.1.0+dfsg-1~sparc64_sparc64.deb       08-Oct-2025 00:03             1137736
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-1~sparc64_sparc64.deb           08-Oct-2025 00:03              549740