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

 Name                                                      Last modified      Size  Description
 Parent Directory                                                               -   
 coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz            2025-02-18 21:25  9.0K  
 coq-serapi_8.20.0+0.20.0-1build3.dsc                      2025-02-18 21:25  2.4K  
 coq-serapi_8.20.0+0.20.0-1build3_arm64.deb                2025-02-18 21:25   40M  
 coq-serapi_8.20.0+0.20.0-1build3_ppc64el.deb              2025-02-18 21:26   34M  
 coq-serapi_8.20.0+0.20.0-1build3_riscv64.deb              2025-02-19 00:23   35M  
 coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz            2025-06-19 17:20  9.0K  
 coq-serapi_8.20.0+0.20.0-1build4.dsc                      2025-06-19 17:20  2.4K  
 coq-serapi_8.20.0+0.20.0-1build4_arm64.deb                2025-06-20 04:01   40M  
 coq-serapi_8.20.0+0.20.0-1build4_ppc64el.deb              2025-06-20 04:01   34M  
 coq-serapi_8.20.0+0.20.0-1build4_riscv64.deb              2025-06-20 11:06   35M  
 coq-serapi_8.20.0+0.20.0.orig.tar.gz                      2024-11-20 18:47  178K  
 libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_arm64.deb   2025-02-18 21:25   17M  
 libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_ppc64el.deb 2025-02-18 21:26   17M  
 libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_riscv64.deb 2025-02-19 00:23   19M  
 libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_arm64.deb   2025-06-20 04:01   17M  
 libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_ppc64el.deb 2025-06-20 04:01   17M  
 libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_riscv64.deb 2025-06-20 11:06   19M  
 libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_arm64.deb       2025-02-18 21:25  6.8M  
 libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_ppc64el.deb     2025-02-18 21:26  6.4M  
 libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_riscv64.deb     2025-02-19 00:23  6.6M  
 libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_arm64.deb       2025-06-20 04:01  6.8M  
 libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_ppc64el.deb     2025-06-20 04:01  6.4M  
 libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_riscv64.deb     2025-06-20 11:06  6.6M