Index of /desktop-professional/pool/main/g/gecode/

../
flatzinc_6.1.0-2_amd64.deb                         08-May-2026 00:44               66996
libgecode-dev_6.1.0-2_amd64.deb                    08-May-2026 00:44              507676
libgecode-doc_6.1.0-2_all.deb                      08-May-2026 00:44            10859124
libgecode48_6.1.0-2_amd64.deb                      08-May-2026 00:44             2693500
libgecodeflatzinc48_6.1.0-2_amd64.deb              08-May-2026 00:44              251760
libgecodegist48_6.1.0-2_amd64.deb                  08-May-2026 00:44              172936