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

Icon  Name                                                    Last modified      Size  Description
[PARENTDIR] Parent Directory                                                             -   
[   ] coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz          2025-02-18 21:25  9.0K  
[TXT] 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_amd64.deb              2025-02-18 21:25   33M  
[   ] coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz          2025-06-19 17:20  9.0K  
[TXT] 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_amd64.deb              2025-06-20 04:01   33M  
[   ] 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_amd64.deb 2025-02-18 21:25   17M  
[   ] libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_amd64.deb 2025-06-20 04:01   17M  
[   ] libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_amd64.deb     2025-02-18 21:25  6.3M  
[   ] libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_amd64.deb     2025-06-20 04:01  6.3M