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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coq-serapi_8.19.0+0...> 2024-08-04 14:34  2.2K  
 coq-serapi_8.19.0+0...> 2024-05-26 20:38  2.4K  
 coq-serapi_8.20.0+0...> 2024-11-20 21:47  2.4K  
 coq-serapi_8.19.0+0...> 2024-08-09 16:49  2.4K  
 coq-serapi_8.19.0+0...> 2024-09-07 02:05  2.4K  
 coq-serapi_8.19.0+0...> 2024-06-19 02:39  2.4K  
 coq-serapi_8.19.0+0...> 2024-05-26 20:38  8.7K  
 coq-serapi_8.20.0+0...> 2024-11-20 21:47  8.9K  
 coq-serapi_8.19.0+0...> 2024-06-19 02:39   10K  
 coq-serapi_8.19.0+0...> 2024-08-04 14:34   10K  
 coq-serapi_8.19.0+0...> 2024-08-09 16:49   10K  
 coq-serapi_8.19.0+0...> 2024-09-07 02:05   10K  
 coq-serapi_8.19.0+0...> 2024-05-26 20:38  175K  
 coq-serapi_8.20.0+0...> 2024-11-20 21:47  178K  
 libcoq-serapi-ocaml_..> 2024-09-07 02:05  6.0M  
 libcoq-serapi-ocaml_..> 2024-08-14 16:42  6.0M  
 libcoq-serapi-ocaml_..> 2024-11-21 02:31  6.3M  
 libcoq-serapi-ocaml_..> 2024-08-04 14:34  6.8M  
 libcoq-serapi-ocaml_..> 2024-06-19 02:39  6.8M  
 libcoq-serapi-ocaml_..> 2024-05-26 22:03  7.0M  
 libcoq-serapi-ocaml-..> 2024-05-26 22:03   14M  
 libcoq-serapi-ocaml-..> 2024-08-04 14:34   15M  
 libcoq-serapi-ocaml-..> 2024-06-19 02:39   15M  
 libcoq-serapi-ocaml-..> 2024-09-07 02:05   16M  
 libcoq-serapi-ocaml-..> 2024-08-14 16:42   16M  
 libcoq-serapi-ocaml-..> 2024-11-21 02:31   17M  
 coq-serapi_8.19.0+0...> 2024-08-04 14:34   32M  
 coq-serapi_8.19.0+0...> 2024-06-19 02:39   32M  
 coq-serapi_8.20.0+0...> 2024-11-21 02:31   33M  
 coq-serapi_8.19.0+0...> 2024-08-14 16:42   33M  
 coq-serapi_8.19.0+0...> 2024-09-07 02:05   33M  
 coq-serapi_8.19.0+0...> 2024-05-26 22:03   34M