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