Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
libgecode7-dev_1.3.1-1_lpia.deb | 2007-09-01 07:03 | 2.3M | |
libgecode8_1.3.1-1_lpia.deb | 2007-09-01 07:03 | 1.3M | |
libgecode-doc_1.3.1-1_all.deb | 2006-11-15 00:04 | 2.9M | |
gecode_1.3.1.orig.tar.gz | 2006-11-08 18:04 | 878K | |
gecode_1.3.1-1.dsc | 2006-11-08 18:04 | 639 | |
gecode_1.3.1-1.diff.gz | 2006-11-08 18:04 | 27K | |