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


../
coq-theories_8.9.1-5_sparc64.deb                   30-Jan-2020 18:03            20351952
coq_8.9.1-5_sparc64.buildinfo                      30-Jan-2020 18:03               14303
coq_8.9.1-5_sparc64.deb                            30-Jan-2020 18:03            73414732
coqide_8.9.1-5_sparc64.deb                         30-Jan-2020 18:03              101432
libcoq-ocaml-dbgsym_8.9.1-5_sparc64.deb            30-Jan-2020 18:03               25988
libcoq-ocaml-dev_8.9.1-5_sparc64.deb               30-Jan-2020 18:03             8862160
libcoq-ocaml_8.9.1-5_sparc64.deb                   30-Jan-2020 18:03             3805048