Index of /mirror/marvin/0/ubuntu-security_amd64/pool/main/g/gecode

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]flatzinc_6.2.0-3build1_amd64.deb2021-03-16 13:47 24K 
[ ]libgecode-dev_6.2.0-3build1_amd64.deb2021-03-16 13:49 451K 
[ ]libgecode-doc_6.2.0-3build1_all.deb2021-03-16 13:39 10M 
[ ]libgecode49_6.2.0-3build1_amd64.deb2021-03-16 13:52 2.6M 
[ ]libgecodeflatzinc49_6.2.0-3build1_amd64.deb2021-03-16 13:49 210K 
[ ]libgecodegist49_6.2.0-3build1_amd64.deb2021-03-16 14:01 117K 
Apache/2.4.66 (Debian) Server at 7s01.7si.ch Port 1081