Index of /debian/pool/main/c/coq-serapi

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