IP-Projects GmbH Mirror
Welcome to the IP-Projects GmbH & Co. KG Mirror

Smiley face

Our mirror serves the following operating systems:

OS Location Versions
Almalinux /almalinux Almalinux 8, Almalinux 9
Centos /centos Centos 5, Centos 6, Centos 7, Centos 8, Centos 8-stream, Centos 9-stream
Debian /debian Debian 10 Buster, Debian 11 Bullseye, Debian 12 Bookworm, Debian 13 Trixie
Debian Archive /debian-archive Debian 6 Squeeze, Debian 7 Wheezy, Debian 8 Jessie, Debian 9 Stretch
Gentoo /gentoo 10.1, 11.0, 11.2, 12.0, 12.1
Ubuntu /ubuntu Ubuntu 14.04 Trusty LTS, Ubuntu 16.04 Xenial LTS, Ubuntu 18.04 Bionic LTS,
Ubuntu 20.04 Focal Fossa, Ubuntu 20.10 Groovy Gorilla, Ubuntu 22.04 Jammy Jellyfish,
Ubuntu 23.04 Lunar Lobster, Ubuntu 23.10 Mantic Minotaur
Ubuntu-old /ubuntu-old Jaunty 9.04, Karmic 9.10, Ubuntu 10.04 Lucid LTS, Maveric 10.10, Natty 11.04,
Oneric 11.10, Ubuntu 12.04 Precise LTS, Ubuntu 12.10 Quantal, Ubuntu 13.04 Raring,
Ubuntu 13.10 Saucy, Ubuntu 14.10 Utopic, Ubuntu 15.04 Vivid, Ubuntu 15.10 Wily,
Ubuntu 16.10 Yakkety, Ubuntu 17.04 Zesty Zapus, Ubuntu 17.10 Artful Aardvark,
Ubuntu 18.10 Cosmic Alpha, Ubuntu 19.04 Disco Dingo, Ubuntu 19.10 Eoan Ermine,
Ubuntu 21.04 Hirsute Hippo, Ubuntu 21.10 Impish Idri, Ubuntu 22.10 Kinetic Kudu
Ubuntu 24.04 Noble Numbat
Rocky Linux /rockylinux Rocky Linux 8, Rocky Linux 9
openSuse /opensuse OpenSUSE Tumbleweed, OpenSUSE Leap



[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]flatzinc_3.7.1-3_amd64.deb2011-12-13 12:04 21K 
[ ]flatzinc_3.7.1-3_i386.deb2011-12-13 12:04 22K 
[ ]flatzinc_3.7.3-1_amd64.deb2012-05-04 16:34 22K 
[ ]flatzinc_3.7.3-1_i386.deb2012-05-04 16:35 22K 
[ ]flatzinc_4.2.1-1_amd64.deb2013-11-20 14:58 21K 
[ ]flatzinc_4.2.1-1_i386.deb2013-11-20 14:58 21K 
[ ]flatzinc_4.2.1-2_amd64.deb2014-10-24 17:56 21K 
[ ]flatzinc_4.2.1-2_i386.deb2014-10-24 17:59 21K 
[ ]flatzinc_4.4.0-2ubuntu1_amd64.deb2015-08-04 10:30 22K 
[ ]flatzinc_4.4.0-2ubuntu1_i386.deb2015-08-04 10:35 22K 
[ ]flatzinc_4.4.0-3_amd64.deb2015-10-25 01:36 22K 
[ ]flatzinc_4.4.0-3_i386.deb2015-10-25 01:38 22K 
[ ]flatzinc_4.4.0-5_amd64.deb2017-06-03 19:28 21K 
[ ]flatzinc_4.4.0-5_i386.deb2017-06-03 19:58 22K 
[ ]flatzinc_6.0.1-1_amd64.deb2018-06-03 20:58 16K 
[ ]flatzinc_6.0.1-1_i386.deb2018-06-03 20:58 16K 
[ ]flatzinc_6.1.0-2_amd64.deb2019-01-13 06:23 16K 
[ ]flatzinc_6.1.0-2_i386.deb2019-01-13 06:28 16K 
[ ]flatzinc_6.2.0-5_amd64.deb2020-08-09 13:33 24K 
[ ]gecode_2.1.1-1.diff.gz2008-05-03 04:16 29K 
[TXT]gecode_2.1.1-1.dsc2008-05-03 04:16 702  
[ ]gecode_2.1.1.orig.tar.gz2008-05-03 04:16 965K 
[ ]gecode_3.1.0-1.diff.gz2009-07-06 20:11 6.2K 
[TXT]gecode_3.1.0-1.dsc2009-07-06 20:11 1.1K 
[ ]gecode_3.1.0.orig.tar.gz2009-07-06 20:11 892K 
[ ]gecode_3.2.1-1.diff.gz2009-12-01 01:04 9.4K 
[TXT]gecode_3.2.1-1.dsc2009-12-01 01:04 1.1K 
[ ]gecode_3.2.1.orig.tar.gz2009-12-01 01:04 1.2M 
[ ]gecode_3.3.1-2.debian.tar.gz2010-05-09 17:06 10K 
[TXT]gecode_3.3.1-2.dsc2010-05-09 17:06 1.1K 
[ ]gecode_3.3.1.orig.tar.gz2010-05-09 17:06 1.3M 
[ ]gecode_3.5.0-1.debian.tar.gz2011-02-12 19:04 11K 
[TXT]gecode_3.5.0-1.dsc2011-02-12 19:04 1.1K 
[ ]gecode_3.5.0-2.debian.tar.gz2011-07-27 14:08 11K 
[TXT]gecode_3.5.0-2.dsc2011-07-27 14:08 1.1K 
[ ]gecode_3.5.0.orig.tar.gz2011-02-12 19:04 1.5M 
[ ]gecode_3.7.1-3.debian.tar.gz2011-12-13 11:04 12K 
[TXT]gecode_3.7.1-3.dsc2011-12-13 11:04 1.4K 
[ ]gecode_3.7.1.orig.tar.gz2011-10-27 12:04 1.5M 
[ ]gecode_3.7.3-1.debian.tar.gz2012-05-04 15:45 11K 
[TXT]gecode_3.7.3-1.dsc2012-05-04 15:45 1.4K 
[ ]gecode_3.7.3.orig.tar.gz2012-05-04 15:45 1.6M 
[ ]gecode_4.2.1-1.debian.tar.gz2013-11-20 06:18 12K 
[TXT]gecode_4.2.1-1.dsc2013-11-20 06:18 2.0K 
[ ]gecode_4.2.1-2.debian.tar.xz2014-10-24 10:21 12K 
[TXT]gecode_4.2.1-2.dsc2014-10-24 10:21 2.0K 
[ ]gecode_4.2.1.orig.tar.gz2013-11-20 06:18 1.8M 
[ ]gecode_4.4.0-2ubuntu1.debian.tar.xz2015-08-04 01:33 12K 
[TXT]gecode_4.4.0-2ubuntu1.dsc2015-08-04 01:33 2.2K 
[ ]gecode_4.4.0-3.debian.tar.xz2015-10-25 01:09 12K 
[TXT]gecode_4.4.0-3.dsc2015-10-25 01:09 2.0K 
[ ]gecode_4.4.0-5.debian.tar.xz2017-06-03 19:08 13K 
[TXT]gecode_4.4.0-5.dsc2017-06-03 19:08 2.1K 
[ ]gecode_4.4.0.orig.tar.gz2015-05-07 07:59 2.8M 
[ ]gecode_6.0.1-1.debian.tar.xz2018-06-03 19:18 15K 
[TXT]gecode_6.0.1-1.dsc2018-06-03 19:18 2.1K 
[ ]gecode_6.0.1.orig.tar.gz2018-06-03 19:18 3.1M 
[ ]gecode_6.1.0-2.debian.tar.xz2019-01-13 06:13 15K 
[TXT]gecode_6.1.0-2.dsc2019-01-13 06:13 2.1K 
[ ]gecode_6.1.0.orig.tar.gz2018-11-09 07:49 3.3M 
[ ]gecode_6.2.0-5.debian.tar.xz2020-08-09 13:18 16K 
[TXT]gecode_6.2.0-5.dsc2020-08-09 13:18 2.1K 
[ ]gecode_6.2.0.orig.tar.gz2020-01-11 00:13 3.5M 
[ ]libgecode-dev_3.1.0-1_amd64.deb2009-07-07 00:04 3.8M 
[ ]libgecode-dev_3.1.0-1_i386.deb2009-07-07 00:04 3.8M 
[ ]libgecode-dev_3.2.1-1_amd64.deb2009-12-01 02:05 5.6M 
[ ]libgecode-dev_3.2.1-1_i386.deb2009-12-01 02:06 5.6M 
[ ]libgecode-dev_3.3.1-2_amd64.deb2010-05-12 02:04 724K 
[ ]libgecode-dev_3.3.1-2_i386.deb2010-05-11 18:07 724K 
[ ]libgecode-dev_3.5.0-1_amd64.deb2011-02-14 11:05 450K 
[ ]libgecode-dev_3.5.0-1_i386.deb2011-02-14 11:05 443K 
[ ]libgecode-dev_3.5.0-2_amd64.deb2011-07-27 20:16 448K 
[ ]libgecode-dev_3.5.0-2_i386.deb2011-07-27 18:11 441K 
[ ]libgecode-dev_3.7.1-3_amd64.deb2011-12-13 12:04 479K 
[ ]libgecode-dev_3.7.1-3_i386.deb2011-12-13 12:04 469K 
[ ]libgecode-dev_3.7.3-1_amd64.deb2012-05-04 16:34 482K 
[ ]libgecode-dev_3.7.3-1_i386.deb2012-05-04 16:35 470K 
[ ]libgecode-dev_4.2.1-1_amd64.deb2013-11-20 14:58 444K 
[ ]libgecode-dev_4.2.1-1_i386.deb2013-11-20 14:58 445K 
[ ]libgecode-dev_4.2.1-2_amd64.deb2014-10-24 17:56 446K 
[ ]libgecode-dev_4.2.1-2_i386.deb2014-10-24 17:59 445K 
[ ]libgecode-dev_4.4.0-2ubuntu1_amd64.deb2015-08-04 10:30 452K 
[ ]libgecode-dev_4.4.0-2ubuntu1_i386.deb2015-08-04 10:35 452K 
[ ]libgecode-dev_4.4.0-3_amd64.deb2015-10-25 01:36 452K 
[ ]libgecode-dev_4.4.0-3_i386.deb2015-10-25 01:38 452K 
[ ]libgecode-dev_4.4.0-5_amd64.deb2017-06-03 19:28 452K 
[ ]libgecode-dev_4.4.0-5_i386.deb2017-06-03 19:58 452K 
[ ]libgecode-dev_6.0.1-1_amd64.deb2018-06-03 20:58 440K 
[ ]libgecode-dev_6.0.1-1_i386.deb2018-06-03 20:58 440K 
[ ]libgecode-dev_6.1.0-2_amd64.deb2019-01-13 06:23 448K 
[ ]libgecode-dev_6.1.0-2_i386.deb2019-01-13 06:28 448K 
[ ]libgecode-dev_6.2.0-5_amd64.deb2020-08-09 13:33 451K 
[ ]libgecode-doc_2.1.1-1_all.deb2008-05-06 11:04 5.9M 
[ ]libgecode-doc_3.1.0-1_all.deb2009-07-07 00:04 6.2M 
[ ]libgecode-doc_3.2.1-1_all.deb2009-12-01 02:05 7.3M 
[ ]libgecode-doc_3.3.1-2_all.deb2010-05-11 18:05 7.5M 
[ ]libgecode-doc_3.5.0-1_all.deb2011-02-14 11:05 8.4M 
[ ]libgecode-doc_3.5.0-2_all.deb2011-07-27 18:10 8.5M 
[ ]libgecode-doc_3.7.1-3_all.deb2011-12-13 12:04 9.1M 
[ ]libgecode-doc_3.7.3-1_all.deb2012-05-04 16:34 9.0M 
[ ]libgecode-doc_4.2.1-1_all.deb2013-11-20 14:58 8.3M 
[ ]libgecode-doc_4.2.1-2_all.deb2014-10-24 17:56 8.4M 
[ ]libgecode-doc_4.4.0-2ubuntu1_all.deb2015-08-04 10:30 9.8M 
[ ]libgecode-doc_4.4.0-3_all.deb2015-10-25 01:36 9.8M 
[ ]libgecode-doc_4.4.0-5_all.deb2017-06-03 19:28 8.8M 
[ ]libgecode-doc_6.0.1-1_all.deb2018-06-03 20:58 10M 
[ ]libgecode-doc_6.1.0-2_all.deb2019-01-13 06:23 10M 
[ ]libgecode-doc_6.2.0-5_all.deb2020-08-09 13:33 11M 
[ ]libgecode12-dev_2.1.1-1_amd64.deb2008-05-06 11:04 3.8M 
[ ]libgecode12-dev_2.1.1-1_i386.deb2008-05-06 11:05 3.7M 
[ ]libgecode12_2.1.1-1_amd64.deb2008-05-06 11:04 1.7M 
[ ]libgecode12_2.1.1-1_i386.deb2008-05-06 11:05 1.7M 
[ ]libgecode17_3.1.0-1_amd64.deb2009-07-07 00:04 1.9M 
[ ]libgecode17_3.1.0-1_i386.deb2009-07-07 00:04 1.9M 
[ ]libgecode19_3.2.1-1_amd64.deb2009-12-01 02:05 2.5M 
[ ]libgecode19_3.2.1-1_i386.deb2009-12-01 02:06 2.5M 
[ ]libgecode22_3.3.1-2_amd64.deb2010-05-12 02:04 2.6M 
[ ]libgecode22_3.3.1-2_i386.deb2010-05-11 18:07 2.6M 
[ ]libgecode27_3.5.0-1_amd64.deb2011-02-14 11:05 2.7M 
[ ]libgecode27_3.5.0-1_i386.deb2011-02-14 11:05 2.7M 
[ ]libgecode27_3.5.0-2_amd64.deb2011-07-27 20:16 2.7M 
[ ]libgecode27_3.5.0-2_i386.deb2011-07-27 18:11 2.7M 
[ ]libgecode30_3.7.1-3_amd64.deb2011-12-13 12:04 2.7M 
[ ]libgecode30_3.7.1-3_i386.deb2011-12-13 12:04 2.8M 
[ ]libgecode32_3.7.3-1_amd64.deb2012-05-04 16:34 2.6M 
[ ]libgecode32_3.7.3-1_i386.deb2012-05-04 16:35 2.6M 
[ ]libgecode36_4.2.1-1_amd64.deb2013-11-20 14:58 1.9M 
[ ]libgecode36_4.2.1-1_i386.deb2013-11-20 14:58 1.9M 
[ ]libgecode36_4.2.1-2_amd64.deb2014-10-24 17:56 2.0M 
[ ]libgecode36_4.2.1-2_i386.deb2014-10-24 17:59 2.1M 
[ ]libgecode41v5_4.4.0-2ubuntu1_amd64.deb2015-08-04 10:30 2.0M 
[ ]libgecode41v5_4.4.0-2ubuntu1_i386.deb2015-08-04 10:35 2.0M 
[ ]libgecode41v5_4.4.0-3_amd64.deb2015-10-25 01:36 2.0M 
[ ]libgecode41v5_4.4.0-3_i386.deb2015-10-25 01:38 2.0M 
[ ]libgecode41v5_4.4.0-5_amd64.deb2017-06-03 19:28 2.0M 
[ ]libgecode41v5_4.4.0-5_i386.deb2017-06-03 19:58 2.0M 
[ ]libgecode47_6.0.1-1_amd64.deb2018-06-03 20:58 2.3M 
[ ]libgecode47_6.0.1-1_i386.deb2018-06-03 20:58 2.5M 
[ ]libgecode48_6.1.0-2_amd64.deb2019-01-13 06:23 2.5M 
[ ]libgecode48_6.1.0-2_i386.deb2019-01-13 06:28 2.7M 
[ ]libgecode49_6.2.0-5_amd64.deb2020-08-09 13:33 2.6M 
[ ]libgecodeflatzinc30_3.7.1-3_amd64.deb2011-12-13 12:04 145K 
[ ]libgecodeflatzinc30_3.7.1-3_i386.deb2011-12-13 12:04 140K 
[ ]libgecodeflatzinc32_3.7.3-1_amd64.deb2012-05-04 16:34 142K 
[ ]libgecodeflatzinc32_3.7.3-1_i386.deb2012-05-04 16:35 140K 
[ ]libgecodeflatzinc36_4.2.1-1_amd64.deb2013-11-20 14:58 164K 
[ ]libgecodeflatzinc36_4.2.1-1_i386.deb2013-11-20 14:58 158K 
[ ]libgecodeflatzinc36_4.2.1-2_amd64.deb2014-10-24 17:56 171K 
[ ]libgecodeflatzinc36_4.2.1-2_i386.deb2014-10-24 17:59 169K 
[ ]libgecodeflatzinc41v5_4.4.0-2ubuntu1_amd64.deb2015-08-04 10:30 169K 
[ ]libgecodeflatzinc41v5_4.4.0-2ubuntu1_i386.deb2015-08-04 10:35 171K 
[ ]libgecodeflatzinc41v5_4.4.0-3_amd64.deb2015-10-25 01:36 168K 
[ ]libgecodeflatzinc41v5_4.4.0-3_i386.deb2015-10-25 01:38 171K 
[ ]libgecodeflatzinc41v5_4.4.0-5_amd64.deb2017-06-03 19:28 157K 
[ ]libgecodeflatzinc41v5_4.4.0-5_i386.deb2017-06-03 19:58 168K 
[ ]libgecodeflatzinc47_6.0.1-1_amd64.deb2018-06-03 20:58 190K 
[ ]libgecodeflatzinc47_6.0.1-1_i386.deb2018-06-03 20:58 201K 
[ ]libgecodeflatzinc48_6.1.0-2_amd64.deb2019-01-13 06:23 196K 
[ ]libgecodeflatzinc48_6.1.0-2_i386.deb2019-01-13 06:28 207K 
[ ]libgecodeflatzinc49_6.2.0-5_amd64.deb2020-08-09 13:33 207K 
[ ]libgecodegist30_3.7.1-3_amd64.deb2011-12-13 12:04 130K 
[ ]libgecodegist30_3.7.1-3_i386.deb2011-12-13 12:04 131K 
[ ]libgecodegist32_3.7.3-1_amd64.deb2012-05-04 16:34 132K 
[ ]libgecodegist32_3.7.3-1_i386.deb2012-05-04 16:35 132K 
[ ]libgecodegist36_4.2.1-1_amd64.deb2013-11-20 14:58 114K 
[ ]libgecodegist36_4.2.1-1_i386.deb2013-11-20 14:58 115K 
[ ]libgecodegist36_4.2.1-2_amd64.deb2014-10-24 17:56 115K 
[ ]libgecodegist36_4.2.1-2_i386.deb2014-10-24 17:59 118K 
[ ]libgecodegist41v5_4.4.0-2ubuntu1_amd64.deb2015-08-04 10:30 117K 
[ ]libgecodegist41v5_4.4.0-2ubuntu1_i386.deb2015-08-04 10:35 121K 
[ ]libgecodegist41v5_4.4.0-3_amd64.deb2015-10-25 01:36 117K 
[ ]libgecodegist41v5_4.4.0-3_i386.deb2015-10-25 01:38 121K 
[ ]libgecodegist41v5_4.4.0-5_amd64.deb2017-06-03 19:28 112K 
[ ]libgecodegist41v5_4.4.0-5_i386.deb2017-06-03 19:59 121K 
[ ]libgecodegist47_6.0.1-1_amd64.deb2018-06-03 20:58 118K 
[ ]libgecodegist47_6.0.1-1_i386.deb2018-06-03 20:58 124K 
[ ]libgecodegist48_6.1.0-2_amd64.deb2019-01-13 06:23 119K 
[ ]libgecodegist48_6.1.0-2_i386.deb2019-01-13 06:28 125K 
[ ]libgecodegist49_6.2.0-5_amd64.deb2020-08-09 13:33 116K 
Example

IP-Projects GmbH & Co. KG
Am Vogelherd 14
D - 97295 Waldbrunn
Telefon: 09306 - 76499-0
FAX: 09306 - 76499-15
Internet: https://www.ip-projects.de
E-Mail: support@ip-projects.de
Geschäftsführer: Michael Schinzel
Registergericht Würzburg: HRA 6798
Komplementär: IP-Projects Verwaltungs GmbH