Index of /ubuntu-ports/ubuntu-ports/pool/universe/c/coq-serapi/

../
coq-serapi_8.19.0+0.19.3-3.debian.tar.xz                                                                                 18-Jun-2024 23:39     10K
coq-serapi_8.19.0+0.19.3-3.dsc                                                                                           18-Jun-2024 23:39    2493
coq-serapi_8.19.0+0.19.3-3_arm64.deb                                                                                     18-Jun-2024 23:39     40M
coq-serapi_8.19.0+0.19.3-3_armhf.deb                                                                                     18-Jun-2024 23:39     32M
coq-serapi_8.19.0+0.19.3-3_ppc64el.deb                                                                                   18-Jun-2024 23:39     34M
coq-serapi_8.19.0+0.19.3-3_riscv64.deb                                                                                   19-Jun-2024 00:29     34M
coq-serapi_8.19.0+0.19.3.orig.tar.gz                                                                                     26-May-2024 17:38    175K
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_arm64.deb                                                                        18-Jun-2024 23:39     15M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_armhf.deb                                                                        18-Jun-2024 23:39     15M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_ppc64el.deb                                                                      18-Jun-2024 23:39     15M
libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_riscv64.deb                                                                      19-Jun-2024 00:29     17M
libcoq-serapi-ocaml_8.19.0+0.19.3-3_arm64.deb                                                                            18-Jun-2024 23:39      7M
libcoq-serapi-ocaml_8.19.0+0.19.3-3_armhf.deb                                                                            18-Jun-2024 23:39      7M
libcoq-serapi-ocaml_8.19.0+0.19.3-3_ppc64el.deb                                                                          18-Jun-2024 23:39      7M
libcoq-serapi-ocaml_8.19.0+0.19.3-3_riscv64.deb                                                                          19-Jun-2024 00:29      7M