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

../
coq-theories_8.12.0-3+b3_sparc64.deb               25-Nov-2020 12:03     23M
coq_8.12.0-3+b3_sparc64.buildinfo                  25-Nov-2020 12:03     16K
coq_8.12.0-3+b3_sparc64.deb                        25-Nov-2020 12:03    101M
coq_9.1.0+dfsg-1~sparc64.debian.tar.xz             08-Oct-2025 00:03     24K
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     16K
coq_9.1.0+dfsg-1~sparc64_sparc64.deb               08-Oct-2025 00:03     22M
coq_9.1.0+dfsg.orig.tar.xz                         08-Oct-2025 00:03      4M
coqide_8.12.0-3+b3_sparc64.deb                     25-Nov-2020 12:03     46K
libcoq-core-ocaml-dev_9.1.0+dfsg-1~sparc64_spar..> 08-Oct-2025 00:03     59M
libcoq-core-ocaml_9.1.0+dfsg-1~sparc64_sparc64.deb 08-Oct-2025 00:03     19M
libcoq-core_9.1.0+dfsg-1~sparc64_sparc64.deb       08-Oct-2025 00:03      1M
libcoq-ocaml-dbgsym_8.12.0-3+b3_sparc64.deb        25-Nov-2020 12:03     36K
libcoq-ocaml-dev_8.12.0-3+b3_sparc64.deb           25-Nov-2020 12:03     11M
libcoq-ocaml_8.12.0-3+b3_sparc64.deb               25-Nov-2020 12:03      5M
rocqide_9.1.0+dfsg-1~sparc64_sparc64.deb           08-Oct-2025 00:03    537K