Index of /pub/Linux/raspbian/raspbian/pool/main/g/gecode
Name Last modified Size Description
Parent Directory -
flatzinc_6.1.0-2_armhf.deb 2019-01-18 19:08 63K
flatzinc_6.2.0-5_armhf.deb 2020-08-14 19:08 73K
gecode_6.1.0-2.debian.tar.xz 2019-01-13 06:35 15K
gecode_6.1.0-2.dsc 2019-01-13 06:35 2.1K
gecode_6.1.0.orig.tar.gz 2018-10-20 23:07 3.3M
gecode_6.2.0-5.1.debian.tar.xz 2024-02-29 01:21 16K
gecode_6.2.0-5.1.dsc 2024-02-29 01:21 2.1K
gecode_6.2.0-5.debian.tar.xz 2020-08-09 15:13 16K
gecode_6.2.0-5.dsc 2020-08-09 15:13 2.1K
gecode_6.2.0.orig.tar.gz 2019-12-17 04:01 3.5M
libgecode-dev_6.1.0-2_armhf.deb 2019-01-18 19:08 496K
libgecode-dev_6.2.0-5_armhf.deb 2020-08-14 19:08 501K
libgecode-doc_6.1.0-2_all.deb 2019-01-13 06:35 10M
libgecode-doc_6.2.0-5.1_all.deb 2024-02-29 02:50 11M
libgecode-doc_6.2.0-5_all.deb 2020-08-09 15:38 11M
libgecode48_6.1.0-2_armhf.deb 2019-01-18 19:08 2.0M
libgecode49_6.2.0-5_armhf.deb 2020-08-14 19:08 2.1M
libgecodeflatzinc48_6.1.0-2_armhf.deb 2019-01-18 19:08 210K
libgecodeflatzinc49_6.2.0-5_armhf.deb 2020-08-14 19:08 220K
libgecodegist48_6.1.0-2_armhf.deb 2019-01-18 19:08 149K
libgecodegist49_6.2.0-5_armhf.deb 2020-08-14 19:08 149K