Index of /mie/pool/universe/g/gecode

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]libgecode8_1.3.1-1_lpia.deb2007-09-01 07:03 1.3M
[   ]libgecode7-dev_1.3.1-1_lpia.deb2007-09-01 07:03 2.3M
[   ]libgecode-doc_1.3.1-1_all.deb2006-11-15 00:04 2.9M
[   ]gecode_1.3.1.orig.tar.gz2006-11-08 18:04 878K
[   ]gecode_1.3.1-1.dsc2006-11-08 18:04 639
[   ]gecode_1.3.1-1.diff.gz2006-11-08 18:04 27K

Apache/2.4.41 (Ubuntu) Server at hpmini.archive.canonical.com Port 80