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
coqide_8.12.0-3+b3_sparc64.deb                     25-Nov-2020 12:03               46760
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