Index of /debian-ports/pool-ppc64/main/c/coq-serapi/

../
coq-serapi-dbgsym_8.19.0+0.19.3-4_ppc64.deb                                                                              04-Aug-2024 12:03      8M
coq-serapi_8.19.0+0.19.3-4_ppc64.buildinfo                                                                               04-Aug-2024 12:03    9056
coq-serapi_8.19.0+0.19.3-4_ppc64.deb                                                                                     04-Aug-2024 12:03     28M
libcoq-serapi-ocaml-dbgsym_8.19.0+0.19.3-4_ppc64.deb                                                                     04-Aug-2024 12:03    502K
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4_ppc64.deb                                                                        04-Aug-2024 12:03     13M
libcoq-serapi-ocaml_8.19.0+0.19.3-4_ppc64.deb                                                                            04-Aug-2024 12:03      6M