Welcome to mirrors.dotsrc.org

All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.

For information about dotsrc.org and our other services please go to our website.

Index of /mirrors/trisquel/pool/main/g/gecode/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libgecodeflatzinc49_6.2.0-5_armhf.deb173.2 KiB2020-08-09 12:28:35
flatzinc_6.2.0-5_armhf.deb21.9 KiB2020-08-09 12:28:35
libgecodegist49_6.2.0-5_armhf.deb99.8 KiB2020-08-09 12:28:35
libgecode49_6.2.0-5_armhf.deb2.2 MiB2020-08-09 12:28:35
libgecode-dev_6.2.0-5_armhf.deb451.3 KiB2020-08-09 12:28:35
flatzinc_6.2.0-5_arm64.deb23.6 KiB2020-08-09 12:28:34
libgecodeflatzinc49_6.2.0-5_arm64.deb179.4 KiB2020-08-09 12:28:34
libgecode49_6.2.0-5_arm64.deb2.2 MiB2020-08-09 12:28:34
libgecode-dev_6.2.0-5_arm64.deb451.3 KiB2020-08-09 12:28:34
libgecodegist49_6.2.0-5_arm64.deb106.8 KiB2020-08-09 12:28:34
libgecodeflatzinc49_6.2.0-5_ppc64el.deb198.3 KiB2020-08-09 11:33:46
flatzinc_6.2.0-5_ppc64el.deb23.9 KiB2020-08-09 11:33:46
libgecode49_6.2.0-5_ppc64el.deb2.6 MiB2020-08-09 11:33:46
libgecode-dev_6.2.0-5_ppc64el.deb451.3 KiB2020-08-09 11:33:46
libgecodegist49_6.2.0-5_ppc64el.deb117.0 KiB2020-08-09 11:33:46
libgecode-doc_6.2.0-5_all.deb10.5 MiB2020-08-09 11:33:42
flatzinc_6.2.0-5_amd64.deb24.0 KiB2020-08-09 11:33:42
libgecodeflatzinc49_6.2.0-5_amd64.deb206.8 KiB2020-08-09 11:33:42
libgecodegist49_6.2.0-5_amd64.deb115.8 KiB2020-08-09 11:33:42
libgecode49_6.2.0-5_amd64.deb2.6 MiB2020-08-09 11:33:42
libgecode-dev_6.2.0-5_amd64.deb451.3 KiB2020-08-09 11:33:42
gecode_6.2.0-5.debian.tar.xz16.1 KiB2020-08-09 11:18:54
gecode_6.2.0-5.dsc2.1 KiB2020-08-09 11:18:54
libgecodeflatzinc49_6.2.0-3build1_armhf.deb183.0 KiB2020-03-24 18:19:57
flatzinc_6.2.0-3build1_armhf.deb21.7 KiB2020-03-24 18:19:57
libgecode49_6.2.0-3build1_armhf.deb2.2 MiB2020-03-24 18:19:57
libgecodegist49_6.2.0-3build1_armhf.deb100.8 KiB2020-03-24 18:19:56
libgecode-dev_6.2.0-3build1_armhf.deb451.0 KiB2020-03-24 18:19:56
libgecodeflatzinc49_6.2.0-3build1_amd64.deb209.6 KiB2020-03-24 16:11:53
libgecode-doc_6.2.0-3build1_all.deb10.5 MiB2020-03-24 16:11:53
libgecodegist49_6.2.0-3build1_amd64.deb117.4 KiB2020-03-24 16:11:53
flatzinc_6.2.0-3build1_amd64.deb24.0 KiB2020-03-24 16:11:53
libgecode49_6.2.0-3build1_amd64.deb2.6 MiB2020-03-24 16:11:53
libgecode-dev_6.2.0-3build1_amd64.deb451.0 KiB2020-03-24 16:11:52
gecode_6.2.0-3build1.dsc2.2 KiB2020-03-24 14:43:59
gecode_6.2.0-3build1.debian.tar.xz15.9 KiB2020-03-24 14:43:59
gecode_6.2.0.orig.tar.gz3.5 MiB2020-01-10 23:13:27
libgecode44_5.1.0-2build1_i386.deb2.4 MiB2018-01-24 23:34:58
libgecode-dev_5.1.0-2build1_i386.deb427.3 KiB2018-01-24 23:34:58
libgecodegist44_5.1.0-2build1_i386.deb122.3 KiB2018-01-24 23:34:57
libgecodeflatzinc44_5.1.0-2build1_i386.deb188.5 KiB2018-01-24 23:34:57
flatzinc_5.1.0-2build1_i386.deb15.4 KiB2018-01-24 23:34:57
libgecode-dev_5.1.0-2build1_amd64.deb427.3 KiB2018-01-24 23:34:27
libgecodeflatzinc44_5.1.0-2build1_amd64.deb177.0 KiB2018-01-24 23:34:26
libgecode-doc_5.1.0-2build1_all.deb9.8 MiB2018-01-24 23:34:26
flatzinc_5.1.0-2build1_amd64.deb15.2 KiB2018-01-24 23:34:26
libgecodegist44_5.1.0-2build1_amd64.deb116.4 KiB2018-01-24 23:34:26
libgecode44_5.1.0-2build1_amd64.deb2.2 MiB2018-01-24 23:34:25
gecode_5.1.0-2build1.debian.tar.xz14.1 KiB2018-01-24 22:58:46
gecode_5.1.0-2build1.dsc2.1 KiB2018-01-24 22:58:46
gecode_5.1.0.orig.tar.gz3.1 MiB2017-07-25 17:08:21
libgecodegist41v5_4.4.0-3_i386.deb121.4 KiB2015-10-24 23:38:03
libgecode41v5_4.4.0-3_i386.deb2.0 MiB2015-10-24 23:38:03
flatzinc_4.4.0-3_i386.deb22.0 KiB2015-10-24 23:38:03
libgecodeflatzinc41v5_4.4.0-3_i386.deb171.0 KiB2015-10-24 23:38:03
libgecode-dev_4.4.0-3_i386.deb452.2 KiB2015-10-24 23:38:03
libgecode41v5_4.4.0-3_amd64.deb2.0 MiB2015-10-24 23:36:48
libgecodegist41v5_4.4.0-3_amd64.deb116.8 KiB2015-10-24 23:36:48
libgecode-doc_4.4.0-3_all.deb9.8 MiB2015-10-24 23:36:48
libgecode-dev_4.4.0-3_amd64.deb452.2 KiB2015-10-24 23:36:47
libgecodeflatzinc41v5_4.4.0-3_amd64.deb168.5 KiB2015-10-24 23:36:47
flatzinc_4.4.0-3_amd64.deb21.8 KiB2015-10-24 23:36:47
gecode_4.4.0-3.dsc2.0 KiB2015-10-24 23:09:11
gecode_4.4.0-3.debian.tar.xz12.1 KiB2015-10-24 23:09:10
gecode_4.4.0.orig.tar.gz2.8 MiB2015-05-07 05:59:49