Index of /pool/main/g/gecode

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libgecodegist49t64_6.2.0-6_arm64.deb2024-08-27 07:13 155K 
[ ]libgecodegist49t64_6.2.0-6_amd64.deb2024-08-27 06:53 165K 
[ ]libgecodegist49t64_6.2.0-5.1+b1_amd64.deb2024-03-15 23:41 164K 
[ ]libgecodeflatzinc49t64_6.2.0-6_arm64.deb2024-08-27 07:13 236K 
[ ]libgecodeflatzinc49t64_6.2.0-6_amd64.deb2024-08-27 06:53 265K 
[ ]libgecodeflatzinc49t64_6.2.0-5.1+b1_amd64.deb2024-03-15 23:41 262K 
[ ]libgecode49t64_6.2.0-6_arm64.deb2024-08-27 07:13 2.5M 
[ ]libgecode49t64_6.2.0-6_amd64.deb2024-08-27 06:53 2.9M 
[ ]libgecode49t64_6.2.0-5.1+b1_amd64.deb2024-03-15 23:41 2.8M 
[ ]libgecode-doc_6.2.0-6_all.deb2024-08-27 06:58 11M 
[ ]libgecode-doc_6.2.0-5.1_all.deb2024-02-28 18:50 11M 
[ ]libgecode-dev_6.2.0-6_arm64.deb2024-08-27 07:13 497K 
[ ]libgecode-dev_6.2.0-6_amd64.deb2024-08-27 06:53 497K 
[ ]libgecode-dev_6.2.0-5.1+b1_amd64.deb2024-03-15 23:41 497K 
[ ]gecode_6.2.0.orig.tar.gz2019-12-16 20:01 3.5M 
[TXT]gecode_6.2.0-6.dsc2024-08-27 06:23 2.1K 
[ ]gecode_6.2.0-6.debian.tar.xz2024-08-27 06:23 20K 
[TXT]gecode_6.2.0-5.1.dsc2024-02-28 17:21 2.1K 
[ ]gecode_6.2.0-5.1.debian.tar.xz2024-02-28 17:21 16K 
[ ]flatzinc_6.2.0-5.1+b1_amd64.deb2024-03-15 23:41 71K