Skip To Content
Sales & Support:
13 66 33
Search for:
Site:
Internode
The Web
Search
Search
Home
About
Contact
Support
Products
Business
Residential
Residential
Broadband
Phone and VoIP
Mobile
Hardware
Entertainment
Fetch TV
Streaming Radio
File Downloads
Unmetered Content
Moving?
Signup Online
Entertainment
Related Items
Sign up with Internode
View our NBN plans
Home
Residential
Entertainment
File Download Mirror
Directory Listing
The Internode Mirror contains a wide selection of software for download by Internode customers.
File Download Mirror Directory Listing
Index of /pub/linuxmint-debian/build/pool/main/g/gecode/
Index of /pub/linuxmint-debian/build/pool/main/g/gecode/
File Name
File Size
Date
Parent directory/
-
-
flatzinc_3.7.3-1_amd64.deb
59646
31-Mar-2012 23:03
flatzinc_3.7.3-1_i386.deb
58902
01-Apr-2012 00:02
flatzinc_4.2.1-1_amd64.deb
62810
09-Nov-2013 18:20
flatzinc_4.2.1-1_i386.deb
62964
20-Nov-2013 00:43
gecode_3.4.0-1.debian.tar.gz
10684
28-Jul-2010 10:32
gecode_3.4.0-1.dsc
1161
28-Jul-2010 10:32
gecode_3.4.0.orig.tar.gz
1356195
28-Jul-2010 10:32
gecode_3.7.3-1.debian.tar.gz
11191
31-Mar-2012 23:03
gecode_3.7.3-1.dsc
1435
31-Mar-2012 23:03
gecode_3.7.3.orig.tar.gz
1643336
31-Mar-2012 23:03
gecode_4.2.1-1.debian.tar.gz
12575
09-Nov-2013 18:20
gecode_4.2.1-1.dsc
2053
09-Nov-2013 18:20
gecode_4.2.1.orig.tar.gz
1898037
09-Nov-2013 18:20
libgecode-dev_3.4.0-1_amd64.deb
764184
28-Jul-2010 23:32
libgecode-dev_3.4.0-1_i386.deb
764686
28-Jul-2010 10:32
libgecode-dev_3.7.3-1_amd64.deb
533726
31-Mar-2012 23:03
libgecode-dev_3.7.3-1_i386.deb
530806
01-Apr-2012 00:02
libgecode-dev_4.2.1-1_amd64.deb
497218
09-Nov-2013 18:20
libgecode-dev_4.2.1-1_i386.deb
496980
20-Nov-2013 00:43
libgecode-doc_3.4.0-1_all.deb
10478144
28-Jul-2010 10:32
libgecode-doc_3.7.3-1_all.deb
11748480
31-Mar-2012 23:03
libgecode-doc_4.2.1-1_all.deb
8266934
09-Nov-2013 18:20
libgecode23_3.4.0-1_amd64.deb
2966798
28-Jul-2010 23:32
libgecode23_3.4.0-1_i386.deb
2988628
28-Jul-2010 10:32
libgecode32_3.7.3-1_amd64.deb
2905674
31-Mar-2012 23:03
libgecode32_3.7.3-1_i386.deb
2957158
01-Apr-2012 00:02
libgecode36_4.2.1-1_amd64.deb
2020814
09-Nov-2013 18:20
libgecode36_4.2.1-1_i386.deb
2006162
20-Nov-2013 00:43
libgecodeflatzinc32_3.7.3-1_amd64.deb
188918
31-Mar-2012 23:03
libgecodeflatzinc32_3.7.3-1_i386.deb
184512
01-Apr-2012 00:02
libgecodeflatzinc36_4.2.1-1_amd64.deb
209702
09-Nov-2013 18:20
libgecodeflatzinc36_4.2.1-1_i386.deb
204220
20-Nov-2013 00:43
libgecodegist32_3.7.3-1_amd64.deb
172674
31-Mar-2012 23:03
libgecodegist32_3.7.3-1_i386.deb
172552
01-Apr-2012 00:02
libgecodegist36_4.2.1-1_amd64.deb
158556
09-Nov-2013 18:20
libgecodegist36_4.2.1-1_i386.deb
159216
20-Nov-2013 00:43