../ cudf/ 11-Jun-2012 10:37 - D4.2.tar.gz 11-Jun-2012 10:37 5243697 caixamagica-solver.tgz 11-Jun-2012 10:37 2406630 inesc-udl-solver.tgz 11-Jun-2012 10:37 2700073 mancoosi-metamodels.tar.gz 11-Jun-2012 10:37 7849 pipeline-32bits.tgz 11-Jun-2012 10:37 16525934 pipeline-64bits.tgz 11-Jun-2012 10:37 16725318 pipeline.tgz 11-Jun-2012 10:37 283 unsa-solver.tgz 11-Jun-2012 10:37 2512357