Index of /pub/Linux/INSTALL/Debian/pool/main/c/coq-serapi

 Name                                                 Last modified      Size  Description
 Parent Directory                                                          -   
 coq-serapi_8.19.0+0.19.3-2+b1_amd64.deb              2024-05-26 11:15   29M  
 coq-serapi_8.19.0+0.19.3-2.debian.tar.xz             2024-05-16 13:13  8.7K  
 coq-serapi_8.19.0+0.19.3-2.dsc                       2024-05-16 13:13  2.4K  
 coq-serapi_8.19.0+0.19.3-2_arm64.deb                 2024-05-26 08:52   35M  
 coq-serapi_8.19.0+0.19.3-2_armhf.deb                 2024-05-26 08:52   28M  
 coq-serapi_8.19.0+0.19.3-2_i386.deb                  2024-05-26 08:47   26M  
 coq-serapi_8.19.0+0.19.3-2_ppc64el.deb               2024-05-26 08:47   29M  
 coq-serapi_8.19.0+0.19.3-2_riscv64.deb               2024-05-26 09:12   30M  
 coq-serapi_8.19.0+0.19.3.orig.tar.gz                 2024-05-16 13:13  175K  
 libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2+b1_amd64.deb 2024-05-26 11:15   12M  
 libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_arm64.deb    2024-05-26 08:52   12M  
 libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_armhf.deb    2024-05-26 08:52   12M  
 libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_i386.deb     2024-05-26 08:47   12M  
 libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_ppc64el.deb  2024-05-26 08:47   12M  
 libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_riscv64.deb  2024-05-26 09:12   13M  
 libcoq-serapi-ocaml_8.19.0+0.19.3-2+b1_amd64.deb     2024-05-26 11:15  5.8M  
 libcoq-serapi-ocaml_8.19.0+0.19.3-2_arm64.deb        2024-05-26 08:52  6.1M  
 libcoq-serapi-ocaml_8.19.0+0.19.3-2_armhf.deb        2024-05-26 08:52  5.9M  
 libcoq-serapi-ocaml_8.19.0+0.19.3-2_i386.deb         2024-05-26 08:47  5.7M  
 libcoq-serapi-ocaml_8.19.0+0.19.3-2_ppc64el.deb      2024-05-26 08:47  5.9M  
 libcoq-serapi-ocaml_8.19.0+0.19.3-2_riscv64.deb      2024-05-26 09:12  5.9M