Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
libgecodegist36_4.2.1-2_armhf.deb | 2014-09-22 11:10 | 135K | ||
libgecodegist32_3.7.3-1_armhf.deb | 2012-05-10 02:46 | 151K | ||
libgecodeflatzinc36_4.2.1-2_armhf.deb | 2014-09-22 11:10 | 177K | ||
libgecodeflatzinc32_3.7.3-1_armhf.deb | 2012-05-10 02:46 | 168K | ||
libgecode36_4.2.1-2_armhf.deb | 2014-09-22 11:10 | 1.6M | ||
libgecode32_3.7.3-1_armhf.deb | 2012-05-10 02:46 | 2.5M | ||
libgecode-doc_4.2.1-2_all.deb | 2014-09-16 17:47 | 8.6M | ||
libgecode-doc_3.7.3-1_all.deb | 2012-03-31 23:03 | 11M | ||
libgecode-dev_4.2.1-2_armhf.deb | 2014-09-22 11:10 | 483K | ||
libgecode-dev_3.7.3-1_armhf.deb | 2012-05-10 02:46 | 518K | ||
flatzinc_4.2.1-2_armhf.deb | 2014-09-22 11:10 | 60K | ||
flatzinc_3.7.3-1_armhf.deb | 2012-05-10 02:46 | 56K | ||