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


../
coq-theories_8.9.1-1_sparc64.deb                   23-Sep-2019 00:03            20378580
coq_8.9.1-1_sparc64.buildinfo                      23-Sep-2019 00:03               13836
coq_8.9.1-1_sparc64.deb                            23-Sep-2019 00:03            50113416
libcoq-ocaml-dbgsym_8.9.1-1_sparc64.deb            23-Sep-2019 00:03               26044
libcoq-ocaml-dev_8.9.1-1_sparc64.deb               23-Sep-2019 00:03             7964596
libcoq-ocaml_8.9.1-1_sparc64.deb                   23-Sep-2019 00:03             3627008