/pool/main/g/gecode/

0 directories 11 files
Name Size Modified
Go up — —
flatzinc_6.2.0-5.1+b1_amd64.deb 71 KiB
flatzinc_6.2.0-5.1+b1_arm64.deb 71 KiB
libgecode-dev_6.2.0-5.1+b1_amd64.deb 498 KiB
libgecode-dev_6.2.0-5.1+b1_arm64.deb 498 KiB
libgecode-doc_6.2.0-5.1_all.deb 11 MiB
libgecode49t64_6.2.0-5.1+b1_amd64.deb 2.8 MiB
libgecode49t64_6.2.0-5.1+b1_arm64.deb 2.4 MiB
libgecodeflatzinc49t64_6.2.0-5.1+b1_amd64.deb 262 KiB
libgecodeflatzinc49t64_6.2.0-5.1+b1_arm64.deb 230 KiB
libgecodegist49t64_6.2.0-5.1+b1_amd64.deb 164 KiB
libgecodegist49t64_6.2.0-5.1+b1_arm64.deb 155 KiB