Index of /sites/ftp.uk.debian.org/debian/pool/main/c/coq-serapi/

Icon  Name                                                Last modified      Size  
[PARENTDIR] Parent Directory                                                         -   
[   ] coq-serapi_8.19.0+0.19.3-3.debian.tar.xz            2024-06-18 10:01   10K  
[   ] coq-serapi_8.19.0+0.19.3-3.dsc                      2024-06-18 10:01  2.4K  
[   ] coq-serapi_8.19.0+0.19.3-3_amd64.deb                2024-06-18 10:16   29M  
[   ] coq-serapi_8.19.0+0.19.3-3_arm64.deb                2024-06-18 10:16   34M  
[   ] coq-serapi_8.19.0+0.19.3-3_armhf.deb                2024-06-18 10:21   28M  
[   ] coq-serapi_8.19.0+0.19.3-3_i386.deb                 2024-06-18 10:16   27M  
[   ] coq-serapi_8.19.0+0.19.3-3_ppc64el.deb              2024-06-18 10:16   29M  
[   ] coq-serapi_8.19.0+0.19.3-3_riscv64.deb              2024-06-18 10:42   29M  
[   ] coq-serapi_8.19.0+0.19.3.orig.tar.gz                2024-05-16 14:13  175K  
[   ] libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_amd64.deb   2024-06-18 10:16   13M  
[   ] libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_arm64.deb   2024-06-18 10:16   13M  
[   ] libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_armhf.deb   2024-06-18 10:21   13M  
[   ] libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_i386.deb    2024-06-18 10:16   13M  
[   ] libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_ppc64el.deb 2024-06-18 10:16   13M  
[   ] libcoq-serapi-ocaml-dev_8.19.0+0.19.3-3_riscv64.deb 2024-06-18 10:42   14M  
[   ] libcoq-serapi-ocaml_8.19.0+0.19.3-3_amd64.deb       2024-06-18 10:16  5.8M  
[   ] libcoq-serapi-ocaml_8.19.0+0.19.3-3_arm64.deb       2024-06-18 10:16  6.0M  
[   ] libcoq-serapi-ocaml_8.19.0+0.19.3-3_armhf.deb       2024-06-18 10:21  5.8M  
[   ] libcoq-serapi-ocaml_8.19.0+0.19.3-3_i386.deb        2024-06-18 10:16  5.7M  
[   ] libcoq-serapi-ocaml_8.19.0+0.19.3-3_ppc64el.deb     2024-06-18 10:16  5.8M  
[   ] libcoq-serapi-ocaml_8.19.0+0.19.3-3_riscv64.deb     2024-06-18 10:42  5.9M