![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| mlgmp_20021123-11.dsc | 07-Jun-2006 23:32 | 845 | |
| mlgmp_20021123-13.dsc | 02-Mar-2008 15:47 | 1.0K | |
| mlgmp_20021123-11.diff.gz | 07-Jun-2006 23:32 | 5.7K | |
| mlgmp_20021123-13.diff.gz | 02-Mar-2008 15:47 | 6.1K | |
| libgmp-ocaml_20021123-11_i386.deb | 07-Jun-2006 23:32 | 21K | |
| libgmp-ocaml_20021123-13+b1_i386.deb | 23-May-2008 19:02 | 22K | |
| libgmp-ocaml_20021123-11_amd64.deb | 08-Jun-2006 09:32 | 24K | |
| libgmp-ocaml_20021123-13+b1_amd64.deb | 22-May-2008 21:32 | 26K | |
| mlgmp_20021123.orig.tar.gz | 10-Apr-2004 05:17 | 39K | |
| libgmp-ocaml-dev_20021123-11_i386.deb | 07-Jun-2006 23:32 | 71K | |
| libgmp-ocaml-dev_20021123-13+b1_i386.deb | 23-May-2008 19:02 | 71K | |
| libgmp-ocaml-dev_20021123-11_amd64.deb | 08-Jun-2006 09:32 | 74K | |
| libgmp-ocaml-dev_20021123-13+b1_amd64.deb | 22-May-2008 21:32 | 75K | |