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 /ubuntu/pool/universe/g/gecode/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libgecodegist49t64_6.2.0-6_amd64.deb114.9 KiB2024-08-28 18:53:16
libgecodegist49t64_6.2.0-5.1build3_amd64.deb115.6 KiB2024-04-12 05:59:42
libgecodegist49_6.2.0-5_amd64.deb115.8 KiB2020-08-09 11:33:42
libgecodegist49_6.2.0-3build1_amd64.deb117.4 KiB2020-03-24 16:11:53
libgecodegist44_5.1.0-2build1_i386.deb122.3 KiB2018-01-24 23:34:57
libgecodegist44_5.1.0-2build1_amd64.deb116.4 KiB2018-01-24 23:34:26
libgecodegist41v5_4.4.0-3_i386.deb121.4 KiB2015-10-24 23:38:03
libgecodegist41v5_4.4.0-3_amd64.deb116.8 KiB2015-10-24 23:36:48
libgecodegist36_4.2.1-1_i386.deb114.6 KiB2013-11-20 13:58:47
libgecodegist36_4.2.1-1_amd64.deb114.2 KiB2013-11-20 13:58:29
libgecodeflatzinc49t64_6.2.0-6_amd64.deb208.0 KiB2024-08-28 18:53:16
libgecodeflatzinc49t64_6.2.0-5.1build3_amd64.deb204.7 KiB2024-04-12 05:59:42
libgecodeflatzinc49_6.2.0-5_amd64.deb206.8 KiB2020-08-09 11:33:42
libgecodeflatzinc49_6.2.0-3build1_amd64.deb209.6 KiB2020-03-24 16:11:53
libgecodeflatzinc44_5.1.0-2build1_i386.deb188.5 KiB2018-01-24 23:34:57
libgecodeflatzinc44_5.1.0-2build1_amd64.deb177.0 KiB2018-01-24 23:34:26
libgecodeflatzinc41v5_4.4.0-3_i386.deb171.0 KiB2015-10-24 23:38:03
libgecodeflatzinc41v5_4.4.0-3_amd64.deb168.5 KiB2015-10-24 23:36:47
libgecodeflatzinc36_4.2.1-1_i386.deb158.0 KiB2013-11-20 13:58:46
libgecodeflatzinc36_4.2.1-1_amd64.deb164.3 KiB2013-11-20 13:58:29
libgecode49t64_6.2.0-6_amd64.deb2.9 MiB2024-08-28 18:53:16
libgecode49t64_6.2.0-5.1build3_amd64.deb2.8 MiB2024-04-12 05:59:42
libgecode49_6.2.0-5_amd64.deb2.6 MiB2020-08-09 11:33:42
libgecode49_6.2.0-3build1_amd64.deb2.6 MiB2020-03-24 16:11:53
libgecode44_5.1.0-2build1_i386.deb2.4 MiB2018-01-24 23:34:58
libgecode44_5.1.0-2build1_amd64.deb2.2 MiB2018-01-24 23:34:25
libgecode41v5_4.4.0-3_i386.deb2.0 MiB2015-10-24 23:38:03
libgecode41v5_4.4.0-3_amd64.deb2.0 MiB2015-10-24 23:36:48
libgecode36_4.2.1-1_i386.deb1.9 MiB2013-11-20 13:58:48
libgecode36_4.2.1-1_amd64.deb1.9 MiB2013-11-20 13:58:29
libgecode-doc_6.2.0-6_all.deb11.0 MiB2024-08-28 18:53:17
libgecode-doc_6.2.0-5_all.deb10.5 MiB2020-08-09 11:33:42
libgecode-doc_6.2.0-5.1build3_all.deb11.0 MiB2024-04-12 05:59:42
libgecode-doc_6.2.0-3build1_all.deb10.5 MiB2020-03-24 16:11:53
libgecode-doc_5.1.0-2build1_all.deb9.8 MiB2018-01-24 23:34:26
libgecode-doc_4.4.0-3_all.deb9.8 MiB2015-10-24 23:36:48
libgecode-doc_4.2.1-1_all.deb8.3 MiB2013-11-20 13:58:30
libgecode-dev_6.2.0-6_amd64.deb451.3 KiB2024-08-28 18:53:17
libgecode-dev_6.2.0-5_amd64.deb451.3 KiB2020-08-09 11:33:42
libgecode-dev_6.2.0-5.1build3_amd64.deb451.2 KiB2024-04-12 05:59:42
libgecode-dev_6.2.0-3build1_amd64.deb451.0 KiB2020-03-24 16:11:52
libgecode-dev_5.1.0-2build1_i386.deb427.3 KiB2018-01-24 23:34:58
libgecode-dev_5.1.0-2build1_amd64.deb427.3 KiB2018-01-24 23:34:27
libgecode-dev_4.4.0-3_i386.deb452.2 KiB2015-10-24 23:38:03
libgecode-dev_4.4.0-3_amd64.deb452.2 KiB2015-10-24 23:36:47
libgecode-dev_4.2.1-1_i386.deb444.8 KiB2013-11-20 13:58:47
libgecode-dev_4.2.1-1_amd64.deb444.3 KiB2013-11-20 13:58:29
gecode_6.2.0.orig.tar.gz3.5 MiB2020-01-10 23:13:27
gecode_6.2.0-6.dsc2.1 KiB2024-08-28 18:53:08
gecode_6.2.0-6.debian.tar.xz19.5 KiB2024-08-28 18:53:08
gecode_6.2.0-5.dsc2.1 KiB2020-08-09 11:18:54
gecode_6.2.0-5.debian.tar.xz16.1 KiB2020-08-09 11:18:54
gecode_6.2.0-5.1build3.dsc2.3 KiB2024-04-12 05:59:26
gecode_6.2.0-5.1build3.debian.tar.xz16.5 KiB2024-04-12 05:59:26
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_5.1.0.orig.tar.gz3.1 MiB2017-07-25 17:08:21
gecode_5.1.0-2build1.dsc2.1 KiB2018-01-24 22:58:46
gecode_5.1.0-2build1.debian.tar.xz14.1 KiB2018-01-24 22:58:46
gecode_4.4.0.orig.tar.gz2.8 MiB2015-05-07 05:59:49
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.2.1.orig.tar.gz1.8 MiB2013-11-20 05:18:25
gecode_4.2.1-1.dsc2.0 KiB2013-11-20 05:18:25
gecode_4.2.1-1.debian.tar.gz12.3 KiB2013-11-20 05:18:25
flatzinc_6.2.0-5_amd64.deb24.0 KiB2020-08-09 11:33:42
flatzinc_6.2.0-5.1build3_amd64.deb22.9 KiB2024-04-12 05:59:42
flatzinc_6.2.0-3build1_amd64.deb24.0 KiB2020-03-24 16:11:53
flatzinc_5.1.0-2build1_i386.deb15.4 KiB2018-01-24 23:34:57
flatzinc_5.1.0-2build1_amd64.deb15.2 KiB2018-01-24 23:34:26
flatzinc_4.4.0-3_i386.deb22.0 KiB2015-10-24 23:38:03
flatzinc_4.4.0-3_amd64.deb21.8 KiB2015-10-24 23:36:47
flatzinc_4.2.1-1_i386.deb21.1 KiB2013-11-20 13:58:47
flatzinc_4.2.1-1_amd64.deb21.2 KiB2013-11-20 13:58:30