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  -  
[ ]coq-libs_8.1.pl3+dfsg-1build1_all.deb2008-05-27 16:04 12M 
[ ]coq-theories_8.2.pl1+dfsg-2_all.deb2009-07-28 21:13 17M 
[ ]coq-theories_8.2.pl1+dfsg-6_all.deb2010-02-27 18:04 17M 
[ ]coq-theories_8.2.pl2+dfsg-1ubuntu1_all.deb2010-09-18 21:04 18M 
[ ]coq-theories_8.3.pl2+dfsg-1build1_all.deb2011-08-25 07:04 50M 
[ ]coq-theories_8.3.pl4+dfsg-1_all.deb2012-04-03 13:04 52M 
[ ]coq-theories_8.3.pl4+dfsg-2_all.deb2012-06-08 20:04 52M 
[ ]coq-theories_8.4pl2dfsg-1_all.deb2013-05-09 02:03 56M 
[ ]coq-theories_8.4pl4dfsg-1_all.deb2014-07-28 01:53 31M 
[ ]coq-theories_8.5-2build1_amd64.deb2018-05-15 08:19 31M 
[ ]coq-theories_8.5-2build1_i386.deb2018-06-13 07:59 30M 
[ ]coq-theories_8.6-4_amd64.deb2016-12-30 07:03 30M 
[ ]coq-theories_8.6-4_i386.deb2016-12-30 07:03 29M 
[ ]coq-theories_8.6-4build3_amd64.deb2017-07-27 12:03 32M 
[ ]coq-theories_8.6-4build3_i386.deb2017-07-27 11:34 30M 
[ ]coq-theories_8.6-5build1_amd64.deb2017-10-28 17:34 32M 
[ ]coq-theories_8.6-5build1_i386.deb2017-10-28 17:34 31M 
[ ]coq-theories_8.9.1-1_amd64.deb2019-08-20 13:33 28M 
[ ]coq-theories_8.9.1-1_i386.deb2019-08-20 13:43 27M 
[ ]coq-theories_8.12.0-3build1_amd64.deb2020-10-04 03:38 35M 
[ ]coq-theories_8.12.0-3build3_amd64.deb2020-11-28 11:13 35M 
[ ]coq_8.1.pl3+dfsg-1build1.diff.gz2008-05-27 16:04 15K 
[TXT]coq_8.1.pl3+dfsg-1build1.dsc2008-05-27 16:04 925  
[ ]coq_8.1.pl3+dfsg-1build1_amd64.deb2008-05-27 16:04 8.6M 
[ ]coq_8.1.pl3+dfsg-1build1_i386.deb2008-05-27 16:04 8.1M 
[ ]coq_8.1.pl3+dfsg.orig.tar.gz2008-01-07 22:03 2.4M 
[ ]coq_8.2.pl1+dfsg-2.diff.gz2009-07-28 21:13 14K 
[TXT]coq_8.2.pl1+dfsg-2.dsc2009-07-28 21:13 1.6K 
[ ]coq_8.2.pl1+dfsg-2_amd64.deb2009-07-28 21:13 15M 
[ ]coq_8.2.pl1+dfsg-2_i386.deb2009-07-28 21:13 13M 
[ ]coq_8.2.pl1+dfsg-6.diff.gz2010-02-27 17:04 15K 
[TXT]coq_8.2.pl1+dfsg-6.dsc2010-02-27 17:04 2.2K 
[ ]coq_8.2.pl1+dfsg-6_amd64.deb2010-02-27 18:04 15M 
[ ]coq_8.2.pl1+dfsg-6_i386.deb2010-02-27 18:04 13M 
[ ]coq_8.2.pl1+dfsg.orig.tar.gz2009-07-28 21:13 3.0M 
[ ]coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz2010-09-18 20:05 17K 
[TXT]coq_8.2.pl2+dfsg-1ubuntu1.dsc2010-09-18 20:05 1.5K 
[ ]coq_8.2.pl2+dfsg-1ubuntu1_amd64.deb2010-09-18 21:04 14M 
[ ]coq_8.2.pl2+dfsg-1ubuntu1_i386.deb2010-09-18 21:05 13M 
[ ]coq_8.2.pl2+dfsg.orig.tar.gz2010-07-27 21:05 3.0M 
[ ]coq_8.3.pl2+dfsg-1build1.debian.tar.gz2011-08-25 07:04 16K 
[TXT]coq_8.3.pl2+dfsg-1build1.dsc2011-08-25 07:04 1.5K 
[ ]coq_8.3.pl2+dfsg-1build1_amd64.deb2011-08-25 07:04 5.3M 
[ ]coq_8.3.pl2+dfsg-1build1_i386.deb2011-08-25 07:05 4.7M 
[ ]coq_8.3.pl2+dfsg.orig.tar.gz2011-05-19 17:05 3.0M 
[ ]coq_8.3.pl4+dfsg-1.debian.tar.gz2012-04-03 12:33 16K 
[TXT]coq_8.3.pl4+dfsg-1.dsc2012-04-03 12:33 2.3K 
[ ]coq_8.3.pl4+dfsg-1_amd64.deb2012-04-03 13:34 5.3M 
[ ]coq_8.3.pl4+dfsg-1_i386.deb2012-04-03 13:04 4.7M 
[ ]coq_8.3.pl4+dfsg-2.debian.tar.gz2012-06-08 16:36 16K 
[TXT]coq_8.3.pl4+dfsg-2.dsc2012-06-08 16:36 2.3K 
[ ]coq_8.3.pl4+dfsg-2_amd64.deb2012-06-08 23:03 5.3M 
[ ]coq_8.3.pl4+dfsg-2_i386.deb2012-06-08 20:04 4.7M 
[ ]coq_8.3.pl4+dfsg.orig.tar.gz2012-04-03 12:33 3.0M 
[ ]coq_8.4pl2dfsg-1.debian.tar.gz2013-05-09 01:33 17K 
[TXT]coq_8.4pl2dfsg-1.dsc2013-05-09 01:33 2.3K 
[ ]coq_8.4pl2dfsg-1_amd64.deb2013-05-09 02:03 5.7M 
[ ]coq_8.4pl2dfsg-1_i386.deb2013-05-09 02:03 5.0M 
[ ]coq_8.4pl2dfsg.orig.tar.gz2013-05-09 01:33 3.4M 
[ ]coq_8.4pl4dfsg-1.debian.tar.xz2014-07-28 01:13 15K 
[TXT]coq_8.4pl4dfsg-1.dsc2014-07-28 01:13 2.3K 
[ ]coq_8.4pl4dfsg-1_amd64.deb2014-07-28 01:53 3.9M 
[ ]coq_8.4pl4dfsg-1_i386.deb2014-07-28 01:53 3.6M 
[ ]coq_8.4pl4dfsg.orig.tar.gz2014-07-28 01:13 3.4M 
[ ]coq_8.5-2build1.debian.tar.xz2018-06-13 04:56 16K 
[TXT]coq_8.5-2build1.dsc2018-06-13 04:56 2.4K 
[ ]coq_8.5-2build1_amd64.deb2018-05-15 08:19 13M 
[ ]coq_8.5-2build1_i386.deb2018-06-13 07:59 12M 
[ ]coq_8.5.orig.tar.gz2018-06-13 04:56 4.6M 
[ ]coq_8.6-4.debian.tar.xz2016-12-30 06:19 21K 
[TXT]coq_8.6-4.dsc2016-12-30 06:19 2.3K 
[ ]coq_8.6-4_amd64.deb2016-12-30 07:03 13M 
[ ]coq_8.6-4_i386.deb2016-12-30 07:03 12M 
[ ]coq_8.6-4build3.debian.tar.xz2017-07-27 10:53 22K 
[TXT]coq_8.6-4build3.dsc2017-07-27 10:53 2.1K 
[ ]coq_8.6-4build3_amd64.deb2017-07-27 12:03 17M 
[ ]coq_8.6-4build3_i386.deb2017-07-27 11:34 16M 
[ ]coq_8.6-5build1.debian.tar.xz2017-10-28 16:39 21K 
[TXT]coq_8.6-5build1.dsc2017-10-28 16:39 2.3K 
[ ]coq_8.6-5build1_amd64.deb2017-10-28 17:34 17M 
[ ]coq_8.6-5build1_i386.deb2017-10-28 17:34 16M 
[ ]coq_8.6.orig.tar.gz2016-12-28 18:13 4.8M 
[ ]coq_8.9.1-1.debian.tar.xz2019-08-20 13:13 29K 
[TXT]coq_8.9.1-1.dsc2019-08-20 13:13 2.1K 
[ ]coq_8.9.1-1_amd64.deb2019-08-20 13:33 56M 
[ ]coq_8.9.1-1_i386.deb2019-08-20 13:43 54M 
[ ]coq_8.9.1.orig.tar.gz2019-08-20 13:13 5.1M 
[ ]coq_8.12.0-3build1.debian.tar.xz2020-10-04 02:48 37K 
[TXT]coq_8.12.0-3build1.dsc2020-10-04 02:48 2.4K 
[ ]coq_8.12.0-3build1_amd64.deb2020-10-04 03:38 75M 
[ ]coq_8.12.0-3build3.debian.tar.xz2020-11-28 10:28 37K 
[TXT]coq_8.12.0-3build3.dsc2020-11-28 10:28 2.4K 
[ ]coq_8.12.0-3build3_amd64.deb2020-11-28 11:13 86M 
[ ]coq_8.12.0.orig.tar.gz2020-09-15 10:23 5.7M 
[ ]coq_8.15.2+dfsg-2.debian.tar.xz2022-06-12 07:34 39K 
[TXT]coq_8.15.2+dfsg-2.dsc2022-06-12 07:34 2.5K 
[ ]coq_8.15.2+dfsg-2_amd64.deb2022-06-12 07:34 90M 
[ ]coq_8.15.2+dfsg.orig.tar.xz2022-06-01 07:23 4.5M 
[ ]coqide_8.1.pl3+dfsg-1build1_amd64.deb2008-05-27 16:04 5.0M 
[ ]coqide_8.1.pl3+dfsg-1build1_i386.deb2008-05-27 16:04 4.7M 
[ ]coqide_8.2.pl1+dfsg-2_amd64.deb2009-07-28 21:13 6.2M 
[ ]coqide_8.2.pl1+dfsg-2_i386.deb2009-07-28 21:13 5.7M 
[ ]coqide_8.2.pl1+dfsg-6_amd64.deb2010-02-27 18:04 6.2M 
[ ]coqide_8.2.pl1+dfsg-6_i386.deb2010-02-27 18:04 5.7M 
[ ]coqide_8.2.pl2+dfsg-1ubuntu1_amd64.deb2010-09-18 21:04 6.1M 
[ ]coqide_8.2.pl2+dfsg-1ubuntu1_i386.deb2010-09-18 21:05 5.6M 
[ ]coqide_8.3.pl2+dfsg-1build1_amd64.deb2011-08-25 07:04 5.2M 
[ ]coqide_8.3.pl2+dfsg-1build1_i386.deb2011-08-25 07:05 4.9M 
[ ]coqide_8.3.pl4+dfsg-1_amd64.deb2012-04-03 13:34 5.2M 
[ ]coqide_8.3.pl4+dfsg-1_i386.deb2012-04-03 13:04 4.9M 
[ ]coqide_8.3.pl4+dfsg-2_amd64.deb2012-06-08 23:03 5.2M 
[ ]coqide_8.3.pl4+dfsg-2_i386.deb2012-06-08 20:04 4.9M 
[ ]coqide_8.4pl2dfsg-1_amd64.deb2013-05-09 02:03 1.0M 
[ ]coqide_8.4pl2dfsg-1_i386.deb2013-05-09 02:03 766K 
[ ]coqide_8.4pl4dfsg-1_amd64.deb2014-07-28 01:53 726K 
[ ]coqide_8.4pl4dfsg-1_i386.deb2014-07-28 01:53 662K 
[ ]coqide_8.5-2build1_amd64.deb2018-05-15 08:19 1.2M 
[ ]coqide_8.5-2build1_i386.deb2018-06-13 07:59 1.0M 
[ ]coqide_8.6-4_amd64.deb2016-12-30 07:03 1.3M 
[ ]coqide_8.6-4_i386.deb2016-12-30 07:03 1.1M 
[ ]coqide_8.6-4build3_amd64.deb2017-07-27 12:03 1.4M 
[ ]coqide_8.6-4build3_i386.deb2017-07-27 11:34 1.3M 
[ ]coqide_8.6-5build1_amd64.deb2017-10-28 17:34 1.5M 
[ ]coqide_8.6-5build1_i386.deb2017-10-28 17:34 1.3M 
[ ]coqide_8.12.0-3build1_amd64.deb2020-10-04 03:38 1.7M 
[ ]coqide_8.12.0-3build3_amd64.deb2020-11-28 11:13 1.8M 
[ ]coqide_8.15.2+dfsg-2_amd64.deb2022-06-12 07:34 2.2M 
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-2_amd64.deb2022-06-12 07:34 47M 
[ ]libcoq-core-ocaml_8.15.2+dfsg-2_amd64.deb2022-06-12 07:34 26M 
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-2_amd64.deb2009-07-28 21:13 5.7M 
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-2_i386.deb2009-07-28 21:13 5.6M 
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-6_amd64.deb2010-02-27 18:04 5.8M 
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-6_i386.deb2010-02-27 18:04 5.6M 
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_amd64.deb2010-09-18 21:04 5.7M 
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_i386.deb2010-09-18 21:05 5.6M 
[ ]libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_amd64.deb2011-08-25 07:04 5.6M 
[ ]libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb2011-08-25 07:05 5.4M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb2012-04-03 13:34 5.6M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb2012-04-03 13:04 5.5M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb2012-06-08 23:03 5.6M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb2012-06-08 20:04 5.5M 
[ ]libcoq-ocaml-dev_8.4pl2dfsg-1_amd64.deb2013-05-09 02:03 5.5M 
[ ]libcoq-ocaml-dev_8.4pl2dfsg-1_i386.deb2013-05-09 02:03 5.3M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb2014-07-28 01:53 3.5M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb2014-07-28 01:53 3.5M 
[ ]libcoq-ocaml-dev_8.5-2build1_amd64.deb2018-05-15 08:50 13M 
[ ]libcoq-ocaml-dev_8.5-2build1_i386.deb2018-06-13 08:11 13M 
[ ]libcoq-ocaml-dev_8.6-4_amd64.deb2016-12-30 07:03 13M 
[ ]libcoq-ocaml-dev_8.6-4_i386.deb2016-12-30 07:03 13M 
[ ]libcoq-ocaml-dev_8.6-4build3_amd64.deb2017-07-27 12:03 13M 
[ ]libcoq-ocaml-dev_8.6-4build3_i386.deb2017-07-27 11:34 13M 
[ ]libcoq-ocaml-dev_8.6-5build1_amd64.deb2017-10-28 17:34 13M 
[ ]libcoq-ocaml-dev_8.6-5build1_i386.deb2017-10-28 17:34 13M 
[ ]libcoq-ocaml-dev_8.9.1-1_amd64.deb2019-08-20 13:33 13M 
[ ]libcoq-ocaml-dev_8.9.1-1_i386.deb2019-08-20 13:43 13M 
[ ]libcoq-ocaml-dev_8.12.0-3build1_amd64.deb2020-10-04 03:38 16M 
[ ]libcoq-ocaml-dev_8.12.0-3build3_amd64.deb2020-11-28 11:13 18M 
[ ]libcoq-ocaml_8.3.pl2+dfsg-1build1_amd64.deb2011-08-25 07:04 1.9M 
[ ]libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb2011-08-25 07:05 1.7M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb2012-04-03 13:34 1.9M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb2012-04-03 13:04 1.7M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb2012-06-08 23:03 1.9M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb2012-06-08 20:04 1.7M 
[ ]libcoq-ocaml_8.4pl2dfsg-1_amd64.deb2013-05-09 02:03 2.1M 
[ ]libcoq-ocaml_8.4pl2dfsg-1_i386.deb2013-05-09 02:03 1.8M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_amd64.deb2014-07-28 01:53 1.5M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_i386.deb2014-07-28 01:53 1.4M 
[ ]libcoq-ocaml_8.5-2build1_amd64.deb2018-05-15 08:50 3.2M 
[ ]libcoq-ocaml_8.5-2build1_i386.deb2018-06-13 08:11 3.1M 
[ ]libcoq-ocaml_8.6-4_amd64.deb2016-12-30 07:03 3.3M 
[ ]libcoq-ocaml_8.6-4_i386.deb2016-12-30 07:03 3.2M 
[ ]libcoq-ocaml_8.6-4build3_amd64.deb2017-07-27 12:03 3.4M 
[ ]libcoq-ocaml_8.6-4build3_i386.deb2017-07-27 11:34 3.2M 
[ ]libcoq-ocaml_8.6-5build1_amd64.deb2017-10-28 17:34 3.4M 
[ ]libcoq-ocaml_8.6-5build1_i386.deb2017-10-28 17:34 3.2M 
[ ]libcoq-ocaml_8.9.1-1_amd64.deb2019-08-20 13:33 5.2M 
[ ]libcoq-ocaml_8.9.1-1_i386.deb2019-08-20 13:43 4.9M 
[ ]libcoq-ocaml_8.12.0-3build1_amd64.deb2020-10-04 03:38 6.4M 
[ ]libcoq-ocaml_8.12.0-3build3_amd64.deb2020-11-28 11:13 7.4M 
[ ]libcoq-stdlib_8.15.2+dfsg-2_amd64.deb2022-06-12 07:34 23M 
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