![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| flatzinc_3.7.3-1_amd64.deb | 01-Apr-2012 01:03 | 58K | |
| flatzinc_3.7.3-1_i386.deb | 01-Apr-2012 02:02 | 58K | |
| libgecode-dev_3.4.0-1_amd64.deb | 29-Jul-2010 01:32 | 746K | |
| libgecode-dev_3.4.0-1_i386.deb | 28-Jul-2010 12:32 | 747K | |
| libgecode-dev_3.7.3-1_amd64.deb | 01-Apr-2012 01:03 | 521K | |
| libgecode-dev_3.7.3-1_i386.deb | 01-Apr-2012 02:02 | 518K | |
| libgecode-doc_3.4.0-1_all.deb | 28-Jul-2010 12:32 | 10M | |
| libgecode-doc_3.7.3-1_all.deb | 01-Apr-2012 01:03 | 11M | |
| libgecode23_3.4.0-1_amd64.deb | 29-Jul-2010 01:32 | 2.8M | |
| libgecode23_3.4.0-1_i386.deb | 28-Jul-2010 12:32 | 2.8M | |
| libgecode32_3.7.3-1_amd64.deb | 01-Apr-2012 01:03 | 2.8M | |
| libgecode32_3.7.3-1_i386.deb | 01-Apr-2012 02:02 | 2.8M | |
| libgecodeflatzinc32_3.7.3-1_amd64.deb | 01-Apr-2012 01:03 | 184K | |
| libgecodeflatzinc32_3.7.3-1_i386.deb | 01-Apr-2012 02:02 | 180K | |
| libgecodegist32_3.7.3-1_amd64.deb | 01-Apr-2012 01:03 | 169K | |
| libgecodegist32_3.7.3-1_i386.deb | 01-Apr-2012 02:02 | 169K | |