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

 Name                                                Last modified      Size  Description
 Parent Directory                                                         -   
 coq-serapi_8.19.0+0.19.3-2.debian.tar.xz            2024-05-26 19:38  8.7K  
 coq-serapi_8.19.0+0.19.3-2.dsc                      2024-05-26 19:38  2.4K  
 coq-serapi_8.19.0+0.19.3-2_arm64.deb                2024-05-26 21:03   42M  
 coq-serapi_8.19.0+0.19.3-2_armhf.deb                2024-05-26 21:03   33M  
 coq-serapi_8.19.0+0.19.3-2_ppc64el.deb              2024-05-26 21:03   35M  
 coq-serapi_8.19.0+0.19.3-2_riscv64.deb              2024-05-26 21:03   36M  
 coq-serapi_8.19.0+0.19.3.orig.tar.gz                2024-05-26 19:38  175K  
 libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_arm64.deb   2024-05-26 21:03   14M  
 libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_armhf.deb   2024-05-26 21:03   14M  
 libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_ppc64el.deb 2024-05-26 21:03   14M  
 libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_riscv64.deb 2024-05-26 21:03   16M  
 libcoq-serapi-ocaml_8.19.0+0.19.3-2_arm64.deb       2024-05-26 21:03  7.5M  
 libcoq-serapi-ocaml_8.19.0+0.19.3-2_armhf.deb       2024-05-26 21:03  7.0M  
 libcoq-serapi-ocaml_8.19.0+0.19.3-2_ppc64el.deb     2024-05-26 21:03  7.1M  
 libcoq-serapi-ocaml_8.19.0+0.19.3-2_riscv64.deb     2024-05-26 21:03  7.2M