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

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

This mirror is brought to you by HR-Tech and Heiko Richter