Index of /pub/ubuntu/pool/universe/m/mlgmp

      Name                                         Last modified      Size  Description
      Parent Directory                                                  -   
      libgmp-ocaml-dev_20021123-17build4_amd64.deb 2013-12-23 12:43   72K  
      libgmp-ocaml-dev_20021123-17build4_i386.deb  2013-12-23 12:44   71K  
      libgmp-ocaml-dev_20021123-18build1_amd64.deb 2015-10-31 20:38   73K  
      libgmp-ocaml-dev_20021123-18build1_i386.deb  2015-10-31 20:38   73K  
      libgmp-ocaml-dev_20021123-19build1_amd64.deb 2017-10-27 05:44   74K  
      libgmp-ocaml-dev_20021123-19build1_i386.deb  2017-10-27 05:44   74K  
      libgmp-ocaml-dev_20021123-20build1_amd64.deb 2020-02-20 22:53   78K  
      libgmp-ocaml-dev_20021123-21build2_amd64.deb 2022-01-24 16:44   98K  
      libgmp-ocaml-dev_20021123-22_amd64.deb       2023-09-13 06:59   95K  
      libgmp-ocaml-dev_20021123-22build1_amd64.deb 2023-11-02 07:35   96K  
      libgmp-ocaml_20021123-17build4_amd64.deb     2013-12-23 12:43   19K  
      libgmp-ocaml_20021123-17build4_i386.deb      2013-12-23 12:44   19K  
      libgmp-ocaml_20021123-18build1_amd64.deb     2015-10-31 20:38   20K  
      libgmp-ocaml_20021123-18build1_i386.deb      2015-10-31 20:38   20K  
      libgmp-ocaml_20021123-19build1_amd64.deb     2017-10-27 05:44   20K  
      libgmp-ocaml_20021123-19build1_i386.deb      2017-10-27 05:44   20K  
      libgmp-ocaml_20021123-20build1_amd64.deb     2020-02-20 22:53   20K  
      libgmp-ocaml_20021123-21build2_amd64.deb     2022-01-24 16:44   23K  
      libgmp-ocaml_20021123-22_amd64.deb           2023-09-13 06:59   22K  
      libgmp-ocaml_20021123-22build1_amd64.deb     2023-11-02 07:35   22K  
      mlgmp_20021123-17build4.diff.gz              2013-12-23 12:23  8.2K  
      mlgmp_20021123-17build4.dsc                  2013-12-23 12:23  1.6K  
      mlgmp_20021123-18build1.debian.tar.xz        2015-10-31 20:28  7.8K  
      mlgmp_20021123-18build1.dsc                  2015-10-31 20:28  1.8K  
      mlgmp_20021123-19build1.debian.tar.xz        2017-10-27 05:44  8.5K  
      mlgmp_20021123-19build1.dsc                  2017-10-27 05:44  1.9K  
      mlgmp_20021123-20build1.debian.tar.xz        2020-02-20 22:48  8.7K  
      mlgmp_20021123-20build1.dsc                  2020-02-20 22:48  2.2K  
      mlgmp_20021123-21build2.debian.tar.xz        2022-01-24 16:44  9.0K  
      mlgmp_20021123-21build2.dsc                  2022-01-24 16:44  2.1K  
      mlgmp_20021123-22.debian.tar.xz              2023-09-13 06:59  9.0K  
      mlgmp_20021123-22.dsc                        2023-09-13 06:59  1.8K  
      mlgmp_20021123-22build1.debian.tar.xz        2023-11-02 07:35  9.0K  
      mlgmp_20021123-22build1.dsc                  2023-11-02 07:35  2.0K  
      mlgmp_20021123.orig.tar.gz                   2004-07-27 00:47   39K