Index of /pub/gnu_linux/ubuntu/pool/universe/p/ppxlib

      Name                                         Last modified      Size  Description
      Parent Directory                                                  -   
      ppxlib_0.33.0.orig.tar.bz2                   2024-08-21 02:58  373K  
      ppxlib_0.33.0-2.dsc                          2024-10-31 15:04  1.9K  
      ppxlib_0.33.0-2.debian.tar.xz                2024-10-31 15:04  3.1K  
      ppxlib_0.33.0-1build1.dsc                    2024-09-05 07:40  2.0K  
      ppxlib_0.33.0-1build1.debian.tar.xz          2024-09-05 07:40  3.2K  
      ppxlib_0.32.0.orig.tar.bz2                   2024-02-15 12:24  356K  
      ppxlib_0.32.0-1.dsc                          2024-02-15 12:24  1.8K  
      ppxlib_0.32.0-1.debian.tar.xz                2024-02-15 12:24  3.1K  
      ppxlib_0.24.0.orig.tar.bz2                   2022-01-20 18:28  218K  
      ppxlib_0.24.0-1build2.dsc                    2022-01-28 10:28  2.0K  
      ppxlib_0.24.0-1build2.debian.tar.xz          2022-01-28 10:28  2.8K  
      ppxlib_0.12.0.orig.tar.gz                    2020-01-13 18:18  164K  
      ppxlib_0.12.0-1build1.dsc                    2020-02-21 02:53  2.2K  
      ppxlib_0.12.0-1build1.debian.tar.xz          2020-02-21 02:53  2.8K  
      libppxlib-ocaml-dev_0.33.0-2_amd64.deb       2024-10-31 20:58   24M  
      libppxlib-ocaml-dev_0.33.0-1build1_amd64.deb 2024-09-05 08:40   24M  
      libppxlib-ocaml-dev_0.32.0-1_amd64.deb       2024-02-15 13:29   19M  
      libppxlib-ocaml-dev_0.24.0-1build2_amd64.deb 2022-01-28 10:28   16M  
      libppxlib-ocaml-dev_0.12.0-1build1_amd64.deb 2020-02-21 04:28   11M