Index of /ubuntu/pool/universe/g/gecode

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]flatzinc_4.4.0-3_amd64.deb2015-10-25 01:36 22K 
[ ]libgecode-dev_4.4.0-3_amd64.deb2015-10-25 01:36 452K 
[ ]libgecodeflatzinc41v5_4.4.0-3_amd64.deb2015-10-25 01:36 168K 
[ ]libgecode-doc_4.4.0-3_all.deb2015-10-25 01:36 9.8M 
[ ]libgecode41v5_4.4.0-3_amd64.deb2015-10-25 01:36 2.0M 
[ ]libgecodegist41v5_4.4.0-3_amd64.deb2015-10-25 01:36 117K 
[ ]flatzinc_4.4.0-3_i386.deb2015-10-25 01:38 22K 
[ ]libgecode-dev_4.4.0-3_i386.deb2015-10-25 01:38 452K 
[ ]libgecode41v5_4.4.0-3_i386.deb2015-10-25 01:38 2.0M 
[ ]libgecodeflatzinc41v5_4.4.0-3_i386.deb2015-10-25 01:38 171K 
[ ]libgecodegist41v5_4.4.0-3_i386.deb2015-10-25 01:38 121K 
[ ]libgecode44_5.1.0-2build1_amd64.deb2018-01-25 00:34 2.2M 
[ ]flatzinc_5.1.0-2build1_amd64.deb2018-01-25 00:34 15K 
[ ]libgecode-doc_5.1.0-2build1_all.deb2018-01-25 00:34 9.8M 
[ ]libgecodeflatzinc44_5.1.0-2build1_amd64.deb2018-01-25 00:34 177K 
[ ]libgecodegist44_5.1.0-2build1_amd64.deb2018-01-25 00:34 116K 
[ ]libgecode-dev_5.1.0-2build1_amd64.deb2018-01-25 00:34 427K 
[ ]flatzinc_5.1.0-2build1_i386.deb2018-01-25 00:34 15K 
[ ]libgecodeflatzinc44_5.1.0-2build1_i386.deb2018-01-25 00:34 189K 
[ ]libgecodegist44_5.1.0-2build1_i386.deb2018-01-25 00:34 122K 
[ ]libgecode-dev_5.1.0-2build1_i386.deb2018-01-25 00:34 427K 
[ ]libgecode44_5.1.0-2build1_i386.deb2018-01-25 00:34 2.4M 
[ ]libgecode-dev_6.2.0-3build1_amd64.deb2020-03-24 17:11 451K 
[ ]flatzinc_6.2.0-3build1_amd64.deb2020-03-24 17:11 24K 
[ ]libgecode-doc_6.2.0-3build1_all.deb2020-03-24 17:11 10M 
[ ]libgecode49_6.2.0-3build1_amd64.deb2020-03-24 17:11 2.6M 
[ ]libgecodeflatzinc49_6.2.0-3build1_amd64.deb2020-03-24 17:11 210K 
[ ]libgecodegist49_6.2.0-3build1_amd64.deb2020-03-24 17:11 117K 
Apache/2.4.41 (Ubuntu) Server at fermi.inf.unibz.it Port 80