Index of /pub/Linux/images/Ubuntu/archive/ubuntu/pool/universe/c/coq-serapi

 Name                                                     Last modified      Size  Description
 Parent Directory                                                              -   
 coq-serapi_8.19.0+0.19.3-4build2.debian.tar.xz           2024-09-06 23:05   10K  
 coq-serapi_8.19.0+0.19.3-4build2.dsc                     2024-09-06 23:05  2.4K  
 coq-serapi_8.19.0+0.19.3-4build2_amd64.deb               2024-09-06 23:05   33M  
 coq-serapi_8.19.0+0.19.3.orig.tar.gz                     2024-05-26 17:38  175K  
 coq-serapi_8.20.0+0.20.0-1.debian.tar.xz                 2024-11-20 18:47  8.9K  
 coq-serapi_8.20.0+0.20.0-1.dsc                           2024-11-20 18:47  2.4K  
 coq-serapi_8.20.0+0.20.0-1_amd64.deb                     2024-11-20 23:31   33M  
 coq-serapi_8.20.0+0.20.0.orig.tar.gz                     2024-11-20 18:47  178K  
 libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4build2_amd64.deb  2024-09-06 23:05   16M  
 libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1_amd64.deb        2024-11-20 23:31   17M  
 libcoq-serapi-ocaml_8.19.0+0.19.3-4build2_amd64.deb      2024-09-06 23:05  6.0M  
 libcoq-serapi-ocaml_8.20.0+0.20.0-1_amd64.deb            2024-11-20 23:31  6.3M