Index of /debian-archive/debian-amd64/pool/main/m/mlgmp

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 mlgmp_20021123-5.dsc    30-Apr-2005 17:32  873   
 mlgmp_20021123-5.dif..> 23-Mar-2005 19:47  4.1K  
 libgmp-ocaml_2002112..> 30-Apr-2005 17:32   24K  
 mlgmp_20021123.orig...> 30-Apr-2005 17:32   39K  
 libgmp-ocaml-dev_200..> 30-Apr-2005 17:32   73K