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  -  
[ ]haxml-doc_1.13.3-2_all.deb2008-02-05 05:04 355K 
[ ]haxml-doc_1.13.3-2ubuntu1_all.deb2009-08-05 02:04 470K 
[ ]haxml-doc_1.13.3-3_all.deb2010-02-26 17:05 407K 
[ ]haxml-doc_1.13.3-4_all.deb2010-05-10 16:04 407K 
[ ]haxml-doc_1.13.3-4build1_all.deb2011-01-26 18:04 412K 
[ ]haxml_1.13.3-2.diff.gz2008-02-05 03:04 15K 
[TXT]haxml_1.13.3-2.dsc2008-02-05 03:04 971  
[ ]haxml_1.13.3-2_amd64.deb2008-02-05 07:04 1.1M 
[ ]haxml_1.13.3-2_i386.deb2008-02-05 05:04 1.0M 
[ ]haxml_1.13.3-2ubuntu1.diff.gz2009-08-05 00:04 16K 
[TXT]haxml_1.13.3-2ubuntu1.dsc2009-08-05 00:04 1.4K 
[ ]haxml_1.13.3-2ubuntu1_amd64.deb2009-08-05 04:11 1.3M 
[ ]haxml_1.13.3-2ubuntu1_i386.deb2009-08-05 02:05 1.2M 
[ ]haxml_1.13.3-3.debian.tar.gz2010-02-26 15:04 14K 
[TXT]haxml_1.13.3-3.dsc2010-02-26 15:04 1.3K 
[ ]haxml_1.13.3-3_amd64.deb2010-02-26 18:05 1.4M 
[ ]haxml_1.13.3-3_i386.deb2010-02-26 17:05 1.3M 
[ ]haxml_1.13.3-4.debian.tar.gz2010-05-09 17:06 15K 
[TXT]haxml_1.13.3-4.dsc2010-05-09 17:06 1.3K 
[ ]haxml_1.13.3-4_amd64.deb2010-05-13 01:04 1.4M 
[ ]haxml_1.13.3-4_i386.deb2010-05-10 16:05 1.3M 
[ ]haxml_1.13.3-4build1.debian.tar.gz2011-01-26 16:07 16K 
[TXT]haxml_1.13.3-4build1.dsc2011-01-26 16:07 2.0K 
[ ]haxml_1.13.3-4build1_amd64.deb2011-01-27 07:06 1.5M 
[ ]haxml_1.13.3-4build1_i386.deb2011-01-26 18:05 1.3M 
[ ]haxml_1.13.3.orig.tar.gz2008-02-05 03:04 462K 
[ ]haxml_1.20.2-2.debian.tar.gz2011-06-07 15:05 15K 
[TXT]haxml_1.20.2-2.dsc2011-06-07 15:05 2.0K 
[ ]haxml_1.20.2-2_amd64.deb2011-06-07 15:05 2.1M 
[ ]haxml_1.20.2-2_i386.deb2011-06-07 16:05 2.0M 
[ ]haxml_1.20.2.orig.tar.gz2011-05-28 02:04 627K 
[ ]haxml_1.22.5-2.debian.tar.gz2012-03-12 00:33 12K 
[TXT]haxml_1.22.5-2.dsc2012-03-12 00:33 2.2K 
[ ]haxml_1.22.5-2_amd64.deb2012-03-12 01:03 2.3M 
[ ]haxml_1.22.5-2_i386.deb2012-03-12 01:04 2.2M 
[ ]haxml_1.22.5-2build2.debian.tar.gz2012-08-11 13:34 12K 
[TXT]haxml_1.22.5-2build2.dsc2012-08-11 13:34 2.2K 
[ ]haxml_1.22.5-2build2_amd64.deb2012-08-11 14:03 2.4M 
[ ]haxml_1.22.5-2build2_i386.deb2012-08-11 14:04 2.2M 
[ ]haxml_1.22.5.orig.tar.gz2012-03-12 00:33 131K 
[ ]haxml_1.23.3-1.debian.tar.gz2013-02-03 21:33 12K 
[TXT]haxml_1.23.3-1.dsc2013-02-03 21:33 1.5K 
[ ]haxml_1.23.3-1_amd64.deb2013-02-03 21:33 2.3M 
[ ]haxml_1.23.3-1_i386.deb2013-02-03 21:33 2.2M 
[ ]haxml_1.23.3-2build1.debian.tar.gz2013-05-28 13:33 13K 
[TXT]haxml_1.23.3-2build1.dsc2013-05-28 13:33 2.2K 
[ ]haxml_1.23.3-2build1_amd64.deb2013-05-28 13:34 2.3M 
[ ]haxml_1.23.3-2build1_i386.deb2013-05-28 13:34 2.2M 
[ ]haxml_1.23.3-2build2.debian.tar.gz2014-04-28 00:08 13K 
[TXT]haxml_1.23.3-2build2.dsc2014-04-28 00:08 2.2K 
[ ]haxml_1.23.3-2build2_amd64.deb2014-04-28 00:18 1.0M 
[ ]haxml_1.23.3-2build2_i386.deb2014-04-28 00:18 1.0M 
[ ]haxml_1.23.3.orig.tar.gz2013-02-03 21:33 143K 
[ ]haxml_1.25.3-2build3.debian.tar.xz2015-06-30 19:18 11K 
[TXT]haxml_1.25.3-2build3.dsc2015-06-30 19:18 2.3K 
[ ]haxml_1.25.3-2build3_amd64.deb2015-06-30 20:13 1.0M 
[ ]haxml_1.25.3-2build3_i386.deb2015-06-30 20:13 957K 
[ ]haxml_1.25.3-4build2.debian.tar.xz2018-06-13 05:10 11K 
[TXT]haxml_1.25.3-4build2.dsc2018-06-13 05:10 2.3K 
[ ]haxml_1.25.3-4build2_amd64.deb2018-05-15 08:38 1.0M 
[ ]haxml_1.25.3-4build2_i386.deb2018-06-13 08:07 1.0M 
[ ]haxml_1.25.3-6build1.debian.tar.xz2017-01-25 03:18 11K 
[TXT]haxml_1.25.3-6build1.dsc2017-01-25 03:18 2.3K 
[ ]haxml_1.25.3-6build1_amd64.deb2017-01-25 04:13 1.0M 
[ ]haxml_1.25.3-6build1_i386.deb2017-01-25 04:05 1.0M 
[ ]haxml_1.25.3.orig.tar.gz2015-05-07 17:48 141K 
[ ]haxml_1.25.4-1.debian.tar.xz2017-07-07 19:18 11K 
[TXT]haxml_1.25.4-1.dsc2017-07-07 19:18 2.5K 
[ ]haxml_1.25.4-1_amd64.deb2017-07-07 19:18 1.0M 
[ ]haxml_1.25.4-1_i386.deb2017-07-07 19:18 1.0M 
[ ]haxml_1.25.4-2build1.debian.tar.xz2018-05-19 11:38 11K 
[TXT]haxml_1.25.4-2build1.dsc2018-05-19 11:38 2.3K 
[ ]haxml_1.25.4-2build1_amd64.deb2018-05-19 11:39 1.0M 
[ ]haxml_1.25.4-2build1_i386.deb2018-05-19 11:39 967K 
[ ]haxml_1.25.4-4.debian.tar.xz2018-12-13 18:23 12K 
[TXT]haxml_1.25.4-4.dsc2018-12-13 18:23 2.4K 
[ ]haxml_1.25.4-4_amd64.deb2018-12-13 18:43 1.0M 
[ ]haxml_1.25.4-4_i386.deb2018-12-13 18:38 1.0M 
[ ]haxml_1.25.4.orig.tar.gz2017-07-07 19:18 141K 
[ ]haxml_1.25.5-1.debian.tar.xz2019-09-01 14:43 11K 
[TXT]haxml_1.25.5-1.dsc2019-09-01 14:43 2.5K 
[ ]haxml_1.25.5-1_amd64.deb2019-09-01 14:53 968K 
[ ]haxml_1.25.5-1_i386.deb2019-09-01 14:53 964K 
[ ]haxml_1.25.5-2build2.debian.tar.xz2020-08-27 02:24 12K 
[TXT]haxml_1.25.5-2build2.dsc2020-08-27 02:24 2.6K 
[ ]haxml_1.25.5-2build2_amd64.deb2020-08-27 02:24 1.0M 
[ ]haxml_1.25.5-2build3.1.debian.tar.xz2021-09-15 13:58 12K 
[TXT]haxml_1.25.5-2build3.1.dsc2021-09-15 13:58 2.6K 
[ ]haxml_1.25.5-2build3.1_amd64.deb2021-09-15 14:41 1.1M 
[ ]haxml_1.25.5-2build3.debian.tar.xz2020-10-29 22:29 12K 
[TXT]haxml_1.25.5-2build3.dsc2020-10-29 22:29 2.6K 
[ ]haxml_1.25.5-2build3_amd64.deb2020-10-31 18:29 1.0M 
[ ]haxml_1.25.5.orig.tar.gz2019-09-01 14:43 142K 
[ ]haxml_1.25.9-1.debian.tar.xz2022-07-19 19:49 11K 
[TXT]haxml_1.25.9-1.dsc2022-07-19 19:49 2.5K 
[ ]haxml_1.25.9-1_amd64.deb2022-08-24 20:50 1.1M 
[ ]haxml_1.25.9.orig.tar.gz2022-07-19 19:49 144K 
[ ]libghc-haxml-dev_1.20.2-2_amd64.deb2011-06-07 15:05 1.9M 
[ ]libghc-haxml-dev_1.20.2-2_i386.deb2011-06-07 16:05 1.8M 
[ ]libghc-haxml-dev_1.22.5-2_amd64.deb2012-03-12 01:03 2.9M 
[ ]libghc-haxml-dev_1.22.5-2_i386.deb2012-03-12 01:04 2.8M 
[ ]libghc-haxml-dev_1.22.5-2build2_amd64.deb2012-08-11 14:03 2.9M 
[ ]libghc-haxml-dev_1.22.5-2build2_i386.deb2012-08-11 14:04 2.8M 
[ ]libghc-haxml-dev_1.23.3-1_amd64.deb2013-02-03 21:33 3.1M 
[ ]libghc-haxml-dev_1.23.3-1_i386.deb2013-02-03 21:33 3.0M 
[ ]libghc-haxml-dev_1.23.3-2build1_amd64.deb2013-05-28 13:34 3.1M 
[ ]libghc-haxml-dev_1.23.3-2build1_i386.deb2013-05-28 13:34 3.0M 
[ ]libghc-haxml-dev_1.23.3-2build2_amd64.deb2014-04-28 00:18 1.8M 
[ ]libghc-haxml-dev_1.23.3-2build2_i386.deb2014-04-28 00:18 1.7M 
[ ]libghc-haxml-dev_1.25.3-2build3_amd64.deb2015-06-30 20:13 1.9M 
[ ]libghc-haxml-dev_1.25.3-2build3_i386.deb2015-06-30 20:13 1.8M 
[ ]libghc-haxml-dev_1.25.3-4build2_amd64.deb2018-05-15 08:55 1.7M 
[ ]libghc-haxml-dev_1.25.3-4build2_i386.deb2018-06-13 08:15 1.6M 
[ ]libghc-haxml-dev_1.25.3-6build1_amd64.deb2017-01-25 04:13 1.9M 
[ ]libghc-haxml-dev_1.25.3-6build1_i386.deb2017-01-25 04:05 1.8M 
[ ]libghc-haxml-dev_1.25.4-1_amd64.deb2017-07-07 19:18 1.9M 
[ ]libghc-haxml-dev_1.25.4-1_i386.deb2017-07-07 19:18 1.8M 
[ ]libghc-haxml-dev_1.25.4-2build1_amd64.deb2018-05-19 11:39 1.9M 
[ ]libghc-haxml-dev_1.25.4-2build1_i386.deb2018-05-19 11:39 1.8M 
[ ]libghc-haxml-dev_1.25.4-4_amd64.deb2018-12-13 18:43 1.9M 
[ ]libghc-haxml-dev_1.25.4-4_i386.deb2018-12-13 18:38 1.8M 
[ ]libghc-haxml-dev_1.25.5-1_amd64.deb2019-09-01 14:53 1.9M 
[ ]libghc-haxml-dev_1.25.5-1_i386.deb2019-09-01 14:53 1.8M 
[ ]libghc-haxml-dev_1.25.5-2build2_amd64.deb2020-08-27 02:24 1.9M 
[ ]libghc-haxml-dev_1.25.5-2build3.1_amd64.deb2021-09-15 14:41 2.1M 
[ ]libghc-haxml-dev_1.25.5-2build3_amd64.deb2020-10-31 18:29 1.9M 
[ ]libghc-haxml-dev_1.25.9-1_amd64.deb2022-08-24 20:50 2.0M 
[ ]libghc-haxml-doc_1.20.2-2_all.deb2011-06-07 16:05 822K 
[ ]libghc-haxml-doc_1.22.5-2_all.deb2012-03-12 01:03 430K 
[ ]libghc-haxml-doc_1.22.5-2build2_all.deb2012-08-11 14:03 440K 
[ ]libghc-haxml-doc_1.23.3-1_all.deb2013-02-03 21:33 494K 
[ ]libghc-haxml-doc_1.23.3-2build1_all.deb2013-05-28 13:34 492K 
[ ]libghc-haxml-doc_1.23.3-2build2_all.deb2014-04-28 00:18 300K 
[ ]libghc-haxml-doc_1.25.3-2build3_all.deb2015-06-30 20:13 306K 
[ ]libghc-haxml-doc_1.25.3-4build2_all.deb2018-05-15 08:55 306K 
[ ]libghc-haxml-doc_1.25.3-6build1_all.deb2017-01-25 04:13 331K 
[ ]libghc-haxml-doc_1.25.4-1_all.deb2017-07-07 19:18 332K 
[ ]libghc-haxml-doc_1.25.4-2build1_all.deb2018-05-19 11:39 319K 
[ ]libghc-haxml-doc_1.25.4-4_all.deb2018-12-13 18:43 440K 
[ ]libghc-haxml-doc_1.25.5-1_all.deb2019-09-01 14:53 457K 
[ ]libghc-haxml-doc_1.25.5-2build2_all.deb2020-08-27 02:24 544K 
[ ]libghc-haxml-doc_1.25.5-2build3.1_all.deb2021-09-15 14:41 527K 
[ ]libghc-haxml-doc_1.25.5-2build3_all.deb2020-10-31 18:29 544K 
[ ]libghc-haxml-doc_1.25.9-1_all.deb2022-08-24 20:50 511K 
[ ]libghc-haxml-prof_1.20.2-2_amd64.deb2011-06-07 15:05 2.1M 
[ ]libghc-haxml-prof_1.20.2-2_i386.deb2011-06-07 16:05 1.9M 
[ ]libghc-haxml-prof_1.22.5-2_amd64.deb2012-03-12 01:03 2.8M 
[ ]libghc-haxml-prof_1.22.5-2_i386.deb2012-03-12 01:04 2.7M 
[ ]libghc-haxml-prof_1.22.5-2build2_amd64.deb2012-08-11 14:03 2.9M 
[ ]libghc-haxml-prof_1.22.5-2build2_i386.deb2012-08-11 14:04 2.7M 
[ ]libghc-haxml-prof_1.23.3-1_amd64.deb2013-02-03 21:33 3.0M 
[ ]libghc-haxml-prof_1.23.3-1_i386.deb2013-02-03 21:33 2.8M 
[ ]libghc-haxml-prof_1.23.3-2build1_amd64.deb2013-05-28 13:34 3.0M 
[ ]libghc-haxml-prof_1.23.3-2build1_i386.deb2013-05-28 13:34 2.8M 
[ ]libghc-haxml-prof_1.23.3-2build2_amd64.deb2014-04-28 00:18 1.7M 
[ ]libghc-haxml-prof_1.23.3-2build2_i386.deb2014-04-28 00:18 1.7M 
[ ]libghc-haxml-prof_1.25.3-2build3_amd64.deb2015-06-30 20:13 1.8M 
[ ]libghc-haxml-prof_1.25.3-2build3_i386.deb2015-06-30 20:13 1.8M 
[ ]libghc-haxml-prof_1.25.3-4build2_amd64.deb2018-05-15 08:55 1.4M 
[ ]libghc-haxml-prof_1.25.3-4build2_i386.deb2018-06-13 08:15 1.5M 
[ ]libghc-haxml-prof_1.25.3-6build1_amd64.deb2017-01-25 04:13 1.7M 
[ ]libghc-haxml-prof_1.25.3-6build1_i386.deb2017-01-25 04:05 1.7M 
[ ]libghc-haxml-prof_1.25.4-1_amd64.deb2017-07-07 19:18 1.7M 
[ ]libghc-haxml-prof_1.25.4-1_i386.deb2017-07-07 19:18 1.7M 
[ ]libghc-haxml-prof_1.25.4-2build1_amd64.deb2018-05-19 11:39 1.8M 
[ ]libghc-haxml-prof_1.25.4-2build1_i386.deb2018-05-19 11:39 1.8M 
[ ]libghc-haxml-prof_1.25.4-4_amd64.deb2018-12-13 18:43 1.8M 
[ ]libghc-haxml-prof_1.25.4-4_i386.deb2018-12-13 18:38 1.8M 
[ ]libghc-haxml-prof_1.25.5-1_amd64.deb2019-09-01 14:53 1.8M 
[ ]libghc-haxml-prof_1.25.5-1_i386.deb2019-09-01 14:53 1.8M 
[ ]libghc-haxml-prof_1.25.5-2build2_amd64.deb2020-08-27 02:24 1.8M 
[ ]libghc-haxml-prof_1.25.5-2build3.1_amd64.deb2021-09-15 14:41 2.1M 
[ ]libghc-haxml-prof_1.25.5-2build3_amd64.deb2020-10-31 18:29 1.8M 
[ ]libghc-haxml-prof_1.25.9-1_amd64.deb2022-08-24 20:50 2.0M 
[ ]libghc6-haxml-dev_1.13.3-2_amd64.deb2008-02-05 07:04 2.2M 
[ ]libghc6-haxml-dev_1.13.3-2_i386.deb2008-02-05 05:04 2.0M 
[ ]libghc6-haxml-dev_1.13.3-2ubuntu1_amd64.deb2009-08-05 04:11 2.6M 
[ ]libghc6-haxml-dev_1.13.3-2ubuntu1_i386.deb2009-08-05 02:05 2.4M 
[ ]libghc6-haxml-dev_1.13.3-3_amd64.deb2010-02-26 18:05 1.3M 
[ ]libghc6-haxml-dev_1.13.3-3_i386.deb2010-02-26 17:05 1.2M 
[ ]libghc6-haxml-dev_1.13.3-4_amd64.deb2010-05-13 01:04 1.3M 
[ ]libghc6-haxml-dev_1.13.3-4_i386.deb2010-05-10 16:05 1.2M 
[ ]libghc6-haxml-dev_1.13.3-4build1_amd64.deb2011-01-27 07:06 1.3M 
[ ]libghc6-haxml-dev_1.13.3-4build1_i386.deb2011-01-26 18:05 1.2M 
[ ]libghc6-haxml-prof_1.13.3-3_amd64.deb2010-02-26 18:05 1.3M 
[ ]libghc6-haxml-prof_1.13.3-3_i386.deb2010-02-26 17:05 1.2M 
[ ]libghc6-haxml-prof_1.13.3-4_amd64.deb2010-05-13 01:04 1.3M 
[ ]libghc6-haxml-prof_1.13.3-4_i386.deb2010-05-10 16:05 1.2M 
[ ]libghc6-haxml-prof_1.13.3-4build1_amd64.deb2011-01-27 07:06 1.3M 
[ ]libghc6-haxml-prof_1.13.3-4build1_i386.deb2011-01-26 18:05 1.3M 
[ ]libhugs-haxml_1.13.3-2_all.deb2008-02-05 05:04 69K 
[ ]libhugs-haxml_1.13.3-2ubuntu1_all.deb2009-08-05 02:04 70K 
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