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  -  
[ ]acl2-books-certs_3.4-1_all.deb2008-11-05 11:04 1.2M 
[ ]acl2-books-certs_3.4-2_all.deb2009-04-29 01:05 1.2M 
[ ]acl2-books-certs_3.6-4_all.deb2010-02-16 09:05 1.9M 
[ ]acl2-books-certs_4.0-3_all.deb2010-09-09 00:05 1.9M 
[ ]acl2-books-certs_4.1-5_all.deb2010-11-09 03:04 1.9M 
[ ]acl2-books-certs_4.2-1_all.deb2011-09-02 05:03 1.9M 
[ ]acl2-books-certs_4.3-3_all.deb2012-05-18 16:33 4.2M 
[ ]acl2-books-certs_6.0-2_all.deb2013-01-14 08:33 4.9M 
[ ]acl2-books-certs_6.2-6_all.deb2013-07-31 16:38 9.7M 
[ ]acl2-books-certs_6.4-4_all.deb2014-05-18 14:50 4.0M 
[ ]acl2-books-certs_7.0-1_all.deb2015-01-27 15:50 66M 
[ ]acl2-books-certs_7.1-1_all.deb2015-06-27 15:48 13M 
[ ]acl2-books-certs_7.2dfsg-2_all.deb2016-05-05 08:24 52M 
[ ]acl2-books-certs_8.0dfsg-1_all.deb2018-01-14 04:08 70M 
[ ]acl2-books-certs_8.0dfsg-1build1_all.deb2019-01-15 19:13 70M 
[ ]acl2-books-certs_8.1dfsg-3_all.deb2019-04-21 21:43 77M 
[ ]acl2-books-certs_8.3dfsg-1_all.deb2020-08-24 14:19 5.7K 
[ ]acl2-books-certs_8.3dfsg-2_all.deb2021-01-28 08:19 139M 
[ ]acl2-books-certs_8.5dfsg-1_all.deb2022-07-28 11:29 220M 
[ ]acl2-books-source_3.4-1_all.deb2008-11-05 11:04 2.7M 
[ ]acl2-books-source_3.4-2_all.deb2009-04-29 01:05 2.7M 
[ ]acl2-books-source_3.6-4_all.deb2010-02-16 09:05 4.7M 
[ ]acl2-books-source_4.0-3_all.deb2010-09-09 00:05 4.8M 
[ ]acl2-books-source_4.1-5_all.deb2010-11-09 03:04 4.9M 
[ ]acl2-books-source_4.2-1_all.deb2011-09-02 05:03 4.9M 
[ ]acl2-books-source_4.3-3_all.deb2012-05-18 16:33 6.2M 
[ ]acl2-books-source_6.0-2_all.deb2013-01-14 08:33 7.5M 
[ ]acl2-books-source_6.2-6_all.deb2013-07-31 16:38 7.3M 
[ ]acl2-books-source_6.4-4_all.deb2014-05-18 14:50 6.2M 
[ ]acl2-books-source_7.0-1_all.deb2015-01-27 15:50 8.4M 
[ ]acl2-books-source_7.1-1_all.deb2015-06-27 15:48 9.9M 
[ ]acl2-books-source_7.2dfsg-2_all.deb2016-05-05 08:24 11M 
[ ]acl2-books-source_8.0dfsg-1_all.deb2018-01-14 04:08 12M 
[ ]acl2-books-source_8.0dfsg-1build1_all.deb2019-01-15 19:13 12M 
[ ]acl2-books-source_8.1dfsg-3_all.deb2019-04-21 21:43 13M 
[ ]acl2-books-source_8.3dfsg-1_all.deb2020-08-24 14:19 19M 
[ ]acl2-books-source_8.3dfsg-2_all.deb2021-01-28 08:19 19M 
[ ]acl2-books-source_8.5dfsg-1_all.deb2022-07-28 11:29 23M 
[ ]acl2-books_3.4-1_amd64.deb2008-11-06 01:10 24M 
[ ]acl2-books_3.4-1_i386.deb2008-11-05 11:05 20M 
[ ]acl2-books_3.4-2_amd64.deb2009-04-29 03:04 23M 
[ ]acl2-books_3.4-2_i386.deb2009-04-29 01:06 20M 
[ ]acl2-books_3.6-4_amd64.deb2010-02-16 09:05 33M 
[ ]acl2-books_3.6-4_i386.deb2010-02-16 09:05 29M 
[ ]acl2-books_4.0-3_amd64.deb2010-09-07 07:05 37M 
[ ]acl2-books_4.0-3_i386.deb2010-09-09 00:05 32M 
[ ]acl2-books_4.1-5_amd64.deb2010-11-09 04:04 39M 
[ ]acl2-books_4.1-5_i386.deb2010-11-09 03:04 34M 
[ ]acl2-books_4.2-1_amd64.deb2011-09-02 06:04 39M 
[ ]acl2-books_4.2-1_i386.deb2011-09-02 05:04 34M 
[ ]acl2-books_4.3-3_amd64.deb2012-05-18 18:34 15M 
[ ]acl2-books_4.3-3_i386.deb2012-05-18 16:33 13M 
[ ]acl2-books_6.0-2_amd64.deb2013-01-14 09:03 18M 
[ ]acl2-books_6.0-2_i386.deb2013-01-14 08:33 16M 
[ ]acl2-books_6.2-6_amd64.deb2013-07-31 16:53 34M 
[ ]acl2-books_6.2-6_i386.deb2013-07-31 16:38 30M 
[ ]acl2-books_6.4-4_amd64.deb2014-05-18 14:50 19M 
[ ]acl2-books_6.4-4_i386.deb2014-05-18 14:50 17M 
[ ]acl2-books_7.0-1_amd64.deb2015-01-27 15:50 24M 
[ ]acl2-books_7.0-1_i386.deb2015-01-27 18:06 23M 
[ ]acl2-books_7.1-1_amd64.deb2015-06-27 15:48 19M 
[ ]acl2-books_7.1-1_i386.deb2015-06-02 04:43 18M 
[ ]acl2-books_7.2dfsg-2_amd64.deb2016-05-05 08:24 102M 
[ ]acl2-books_7.2dfsg-2_i386.deb2016-05-05 09:09 88M 
[ ]acl2-books_8.0dfsg-1_amd64.deb2018-01-14 04:08 132M 
[ ]acl2-books_8.0dfsg-1_i386.deb2018-01-14 05:49 114M 
[ ]acl2-books_8.0dfsg-1build1_amd64.deb2019-01-15 19:13 145M 
[ ]acl2-books_8.0dfsg-1build1_i386.deb2019-01-15 17:47 127M 
[ ]acl2-books_8.1dfsg-3_amd64.deb2019-04-21 21:43 156M 
[ ]acl2-books_8.1dfsg-3_i386.deb2019-04-22 01:31 139M 
[ ]acl2-books_8.3dfsg-1_amd64.deb2020-08-24 14:19 4.2K 
[ ]acl2-books_8.3dfsg-2_amd64.deb2021-01-28 08:19 241M 
[ ]acl2-books_8.5dfsg-1_amd64.deb2022-07-28 11:29 335M 
[ ]acl2-doc_3.4-1_all.deb2008-11-05 11:04 2.2M 
[ ]acl2-doc_3.4-2_all.deb2009-04-29 01:05 2.2M 
[ ]acl2-doc_3.6-4_all.deb2010-02-16 09:05 2.3M 
[ ]acl2-doc_4.0-3_all.deb2010-09-09 00:05 2.6M 
[ ]acl2-doc_4.1-5_all.deb2010-11-09 03:04 2.6M 
[ ]acl2-doc_4.2-1_all.deb2011-09-02 05:03 264K 
[ ]acl2-doc_4.3-3_all.deb2012-05-18 16:33 348K 
[ ]acl2-doc_6.0-2_all.deb2013-01-14 08:33 7.2M 
[ ]acl2-doc_6.2-6_all.deb2013-07-31 16:38 7.5M 
[ ]acl2-doc_6.4-4_all.deb2014-05-18 14:50 1.6M 
[ ]acl2-doc_7.0-1_all.deb2015-01-27 15:50 331K 
[ ]acl2-doc_7.1-1_all.deb2015-06-27 15:48 353K 
[ ]acl2-doc_7.2dfsg-2_all.deb2016-05-05 08:24 366K 
[ ]acl2-doc_8.0dfsg-1_all.deb2018-01-14 04:08 385K 
[ ]acl2-doc_8.0dfsg-1build1_all.deb2019-01-15 19:13 385K 
[ ]acl2-doc_8.1dfsg-3_all.deb2019-04-21 21:43 396K 
[ ]acl2-doc_8.3dfsg-1_all.deb2020-08-24 14:18 429K 
[ ]acl2-doc_8.3dfsg-2_all.deb2021-01-28 08:19 429K 
[ ]acl2-doc_8.5dfsg-1_all.deb2022-07-28 11:29 473K 
[ ]acl2-emacs_3.4-1_all.deb2008-11-05 11:04 54K 
[ ]acl2-emacs_3.4-2_all.deb2009-04-29 01:05 54K 
[ ]acl2-emacs_3.6-4_all.deb2010-02-16 09:05 56K 
[ ]acl2-emacs_4.0-3_all.deb2010-09-09 00:05 56K 
[ ]acl2-emacs_4.1-5_all.deb2010-11-09 03:04 50K 
[ ]acl2-emacs_4.2-1_all.deb2011-09-02 05:03 52K 
[ ]acl2-emacs_4.3-3_all.deb2012-05-18 16:33 53K 
[ ]acl2-emacs_6.0-2_all.deb2013-01-14 08:33 54K 
[ ]acl2-emacs_6.2-6_all.deb2013-07-31 16:38 53K 
[ ]acl2-emacs_6.4-4_all.deb2014-05-18 14:50 53K 
[ ]acl2-emacs_7.0-1_all.deb2015-01-27 15:50 54K 
[ ]acl2-emacs_7.1-1_all.deb2015-06-27 15:48 55K 
[ ]acl2-emacs_7.2dfsg-2_all.deb2016-05-05 08:24 56K 
[ ]acl2-emacs_8.0dfsg-1_all.deb2018-01-14 04:08 59K 
[ ]acl2-emacs_8.0dfsg-1build1_all.deb2019-01-15 19:13 59K 
[ ]acl2-emacs_8.1dfsg-3_all.deb2019-04-21 21:43 59K 
[ ]acl2-emacs_8.3dfsg-1_all.deb2020-08-24 14:19 60K 
[ ]acl2-emacs_8.3dfsg-2_all.deb2021-01-28 08:19 60K 
[ ]acl2-infix-source_3.4-1_all.deb2008-11-05 11:04 84K 
[ ]acl2-infix-source_3.4-2_all.deb2009-04-29 01:05 84K 
[ ]acl2-infix-source_3.6-4_all.deb2010-02-16 09:05 84K 
[ ]acl2-infix-source_4.0-3_all.deb2010-09-09 00:05 85K 
[ ]acl2-infix-source_4.1-5_all.deb2010-11-09 03:04 78K 
[ ]acl2-infix-source_4.2-1_all.deb2011-09-02 05:03 80K 
[ ]acl2-infix-source_4.3-3_all.deb2012-05-18 16:33 86K 
[ ]acl2-infix-source_6.0-2_all.deb2013-01-14 08:33 87K 
[ ]acl2-infix-source_6.2-6_all.deb2013-07-31 16:38 86K 
[ ]acl2-infix-source_6.4-4_all.deb2014-05-18 14:50 70K 
[ ]acl2-infix-source_7.0-1_all.deb2015-01-27 15:50 72K 
[ ]acl2-infix-source_7.1-1_all.deb2015-06-27 15:48 70K 
[ ]acl2-infix-source_7.2dfsg-2_all.deb2016-05-05 08:24 71K 
[ ]acl2-infix-source_8.0dfsg-1_all.deb2018-01-14 04:08 70K 
[ ]acl2-infix-source_8.0dfsg-1build1_all.deb2019-01-15 19:13 70K 
[ ]acl2-infix-source_8.1dfsg-3_all.deb2019-04-21 21:43 70K 
[ ]acl2-infix-source_8.3dfsg-1_all.deb2020-08-24 14:18 70K 
[ ]acl2-infix-source_8.3dfsg-2_all.deb2021-01-28 08:19 70K 
[ ]acl2-infix-source_8.5dfsg-1_all.deb2022-07-28 11:29 72K 
[ ]acl2-infix_3.4-1_amd64.deb2008-11-06 01:10 432K 
[ ]acl2-infix_3.4-1_i386.deb2008-11-05 11:05 389K 
[ ]acl2-infix_3.4-2_amd64.deb2009-04-29 03:04 408K 
[ ]acl2-infix_3.4-2_i386.deb2009-04-29 01:05 375K 
[ ]acl2-infix_3.6-4_amd64.deb2010-02-16 09:05 421K 
[ ]acl2-infix_3.6-4_i386.deb2010-02-16 09:05 379K 
[ ]acl2-infix_4.0-3_amd64.deb2010-09-07 07:05 421K 
[ ]acl2-infix_4.0-3_i386.deb2010-09-09 00:05 380K 
[ ]acl2-infix_4.1-5_amd64.deb2010-11-09 04:04 441K 
[ ]acl2-infix_4.1-5_i386.deb2010-11-09 03:04 403K 
[ ]acl2-infix_4.2-1_amd64.deb2011-09-02 06:04 438K 
[ ]acl2-infix_4.2-1_i386.deb2011-09-02 05:04 400K 
[ ]acl2-infix_4.3-3_amd64.deb2012-05-18 18:34 194K 
[ ]acl2-infix_4.3-3_i386.deb2012-05-18 16:33 173K 
[ ]acl2-infix_6.0-2_amd64.deb2013-01-14 09:03 195K 
[ ]acl2-infix_6.0-2_i386.deb2013-01-14 08:33 174K 
[ ]acl2-infix_6.2-6_amd64.deb2013-07-31 16:53 198K 
[ ]acl2-infix_6.2-6_i386.deb2013-07-31 16:38 181K 
[ ]acl2-infix_6.4-4_amd64.deb2014-05-18 14:50 140K 
[ ]acl2-infix_6.4-4_i386.deb2014-05-18 14:50 136K 
[ ]acl2-infix_7.0-1_amd64.deb2015-01-27 15:50 140K 
[ ]acl2-infix_7.0-1_i386.deb2015-01-27 18:06 142K 
[ ]acl2-infix_7.1-1_amd64.deb2015-06-27 15:48 140K 
[ ]acl2-infix_7.1-1_i386.deb2015-06-02 04:43 142K 
[ ]acl2-infix_7.2dfsg-2_amd64.deb2016-05-05 08:24 392K 
[ ]acl2-infix_7.2dfsg-2_i386.deb2016-05-05 09:09 369K 
[ ]acl2-infix_8.0dfsg-1_amd64.deb2018-01-14 04:08 414K 
[ ]acl2-infix_8.0dfsg-1_i386.deb2018-01-14 05:49 381K 
[ ]acl2-infix_8.0dfsg-1build1_amd64.deb2019-01-15 19:13 471K 
[ ]acl2-infix_8.0dfsg-1build1_i386.deb2019-01-15 17:47 434K 
[ ]acl2-infix_8.1dfsg-3_amd64.deb2019-04-21 21:43 472K 
[ ]acl2-infix_8.1dfsg-3_i386.deb2019-04-22 01:31 475K 
[ ]acl2-infix_8.3dfsg-1_amd64.deb2020-08-24 14:19 472K 
[ ]acl2-infix_8.3dfsg-2_amd64.deb2021-01-28 08:19 471K 
[ ]acl2-infix_8.5dfsg-1_amd64.deb2022-07-28 11:29 533K 
[ ]acl2-source_3.4-1_all.deb2008-11-05 11:04 2.5M 
[ ]acl2-source_3.4-2_all.deb2009-04-29 01:05 2.5M 
[ ]acl2-source_3.6-4_all.deb2010-02-16 09:05 2.6M 
[ ]acl2-source_4.0-3_all.deb2010-09-09 00:05 2.9M 
[ ]acl2-source_4.1-5_all.deb2010-11-09 03:04 2.9M 
[ ]acl2-source_4.2-1_all.deb2011-09-02 05:03 3.0M 
[ ]acl2-source_4.3-3_all.deb2012-05-18 16:33 3.1M 
[ ]acl2-source_6.0-2_all.deb2013-01-14 08:33 3.5M 
[ ]acl2-source_6.2-6_all.deb2013-07-31 16:38 3.6M 
[ ]acl2-source_6.4-4_all.deb2014-05-18 14:50 2.6M 
[ ]acl2-source_7.0-1_all.deb2015-01-27 15:50 2.7M 
[ ]acl2-source_7.1-1_all.deb2015-06-27 15:48 2.7M 
[ ]acl2-source_7.2dfsg-2_all.deb2016-05-05 08:24 2.8M 
[ ]acl2-source_8.0dfsg-1_all.deb2018-01-14 04:08 2.9M 
[ ]acl2-source_8.0dfsg-1build1_all.deb2019-01-15 19:13 2.9M 
[ ]acl2-source_8.1dfsg-3_all.deb2019-04-21 21:43 3.0M 
[ ]acl2-source_8.3dfsg-1_all.deb2020-08-24 14:19 3.2M 
[ ]acl2-source_8.3dfsg-2_all.deb2021-01-28 08:19 3.2M 
[ ]acl2-source_8.5dfsg-1_all.deb2022-07-28 11:29 3.5M 
[ ]acl2_3.4-1.diff.gz2008-11-05 03:06 13K 
[TXT]acl2_3.4-1.dsc2008-11-05 03:06 1.1K 
[ ]acl2_3.4-1_amd64.deb2008-11-06 01:10 21M 
[ ]acl2_3.4-1_i386.deb2008-11-05 11:05 18M 
[ ]acl2_3.4-2.diff.gz2009-04-28 23:04 14K 
[TXT]acl2_3.4-2.dsc2009-04-28 23:04 1.2K 
[ ]acl2_3.4-2_amd64.deb2009-04-29 03:04 21M 
[ ]acl2_3.4-2_i386.deb2009-04-29 01:06 18M 
[ ]acl2_3.4.orig.tar.gz2008-11-05 03:06 7.6M 
[ ]acl2_3.6-4.diff.gz2010-02-02 01:06 15K 
[TXT]acl2_3.6-4.dsc2010-02-02 01:06 1.1K 
[ ]acl2_3.6-4_amd64.deb2010-02-16 09:05 22M 
[ ]acl2_3.6-4_i386.deb2010-02-16 09:05 20M 
[ ]acl2_3.6.orig.tar.gz2010-02-02 01:06 10M 
[ ]acl2_4.0-3.diff.gz2010-09-07 02:05 16K 
[TXT]acl2_4.0-3.dsc2010-09-07 02:05 1.1K 
[ ]acl2_4.0-3_amd64.deb2010-09-07 07:05 25M 
[ ]acl2_4.0-3_i386.deb2010-09-09 00:05 21M 
[ ]acl2_4.0.orig.tar.gz2010-09-07 02:05 11M 
[ ]acl2_4.1-5.debian.tar.gz2010-11-07 13:05 17K 
[TXT]acl2_4.1-5.dsc2010-11-07 13:05 1.2K 
[ ]acl2_4.1-5_amd64.deb2010-11-09 04:04 25M 
[ ]acl2_4.1-5_i386.deb2010-11-09 03:04 21M 
[ ]acl2_4.1.orig.tar.gz2010-10-15 13:08 11M 
[ ]acl2_4.2-1.debian.tar.gz2011-05-15 15:04 17K 
[TXT]acl2_4.2-1.dsc2011-05-15 15:04 1.2K 
[ ]acl2_4.2-1_amd64.deb2011-09-02 06:04 25M 
[ ]acl2_4.2-1_i386.deb2011-09-02 05:04 22M 
[ ]acl2_4.2.orig.tar.gz2011-05-15 15:04 11M 
[ ]acl2_4.3-3.debian.tar.gz2012-05-06 06:34 18K 
[TXT]acl2_4.3-3.dsc2012-05-06 06:34 1.5K 
[ ]acl2_4.3-3_amd64.deb2012-05-18 18:34 27M 
[ ]acl2_4.3-3_i386.deb2012-05-18 16:33 23M 
[ ]acl2_4.3.orig.tar.gz2012-04-30 21:43 15M 
[ ]acl2_6.0-2.debian.tar.gz2013-01-14 06:33 155K 
[TXT]acl2_6.0-2.dsc2013-01-14 06:33 1.7K 
[ ]acl2_6.0-2_amd64.deb2013-01-14 09:03 30M 
[ ]acl2_6.0-2_i386.deb2013-01-14 08:33 26M 
[ ]acl2_6.0.orig-books.tar.gz2013-01-13 12:33 10M 
[ ]acl2_6.0.orig.tar.gz2013-01-13 12:33 6.5M 
[ ]acl2_6.2-6.debian.tar.gz2013-07-31 11:38 157K 
[TXT]acl2_6.2-6.dsc2013-07-31 11:38 1.7K 
[ ]acl2_6.2-6_amd64.deb2013-07-31 16:53 27M 
[ ]acl2_6.2-6_i386.deb2013-07-31 16:38 23M 
[ ]acl2_6.2.orig-books.tar.gz2013-07-13 13:28 11M 
[ ]acl2_6.2.orig.tar.gz2013-07-13 13:28 6.6M 
[ ]acl2_6.4-4.debian.tar.xz2014-05-18 13:13 124K 
[TXT]acl2_6.4-4.dsc2014-05-18 13:13 1.8K 
[ ]acl2_6.4-4_amd64.deb2014-05-18 14:50 15M 
[ ]acl2_6.4-4_i386.deb2014-05-18 14:50 12M 
[ ]acl2_6.4.orig-books.tar.gz2014-05-03 01:18 14M 
[ ]acl2_6.4.orig.tar.gz2014-05-03 01:18 5.8M 
[ ]acl2_7.0-1.debian.tar.xz2015-01-27 12:39 126K 
[TXT]acl2_7.0-1.dsc2015-01-27 12:39 2.2K 
[ ]acl2_7.0-1_amd64.deb2015-01-27 15:50 15M 
[ ]acl2_7.0-1_i386.deb2015-01-27 18:06 13M 
[ ]acl2_7.0.orig.tar.gz2015-01-27 12:39 56M 
[ ]acl2_7.1-1.debian.tar.xz2015-06-02 01:24 126K 
[TXT]acl2_7.1-1.dsc2015-06-02 01:24 2.2K 
[ ]acl2_7.1-1_amd64.deb2015-06-27 15:48 16M 
[ ]acl2_7.1-1_i386.deb2015-06-02 04:43 16M 
[ ]acl2_7.1.orig.tar.gz2015-06-02 01:24 60M 
[ ]acl2_7.2dfsg-2.debian.tar.xz2016-05-05 01:29 199K 
[TXT]acl2_7.2dfsg-2.dsc2016-05-05 01:29 2.2K 
[ ]acl2_7.2dfsg-2_amd64.deb2016-05-05 08:24 17M 
[ ]acl2_7.2dfsg-2_i386.deb2016-05-05 09:09 15M 
[ ]acl2_7.2dfsg.orig.tar.gz2016-04-27 00:12 61M 
[ ]acl2_8.0dfsg-1.debian.tar.xz2018-01-14 00:08 200K 
[TXT]acl2_8.0dfsg-1.dsc2018-01-14 00:08 2.2K 
[ ]acl2_8.0dfsg-1_amd64.deb2018-01-14 04:08 19M 
[ ]acl2_8.0dfsg-1_i386.deb2018-01-14 05:49 16M 
[ ]acl2_8.0dfsg-1build1.debian.tar.xz2019-01-15 12:08 200K 
[TXT]acl2_8.0dfsg-1build1.dsc2019-01-15 12:08 2.2K 
[ ]acl2_8.0dfsg-1build1_amd64.deb2019-01-15 19:13 19M 
[ ]acl2_8.0dfsg-1build1_i386.deb2019-01-15 17:47 17M 
[ ]acl2_8.0dfsg.orig.tar.gz2018-01-14 00:08 74M 
[ ]acl2_8.1dfsg-3.debian.tar.xz2019-04-21 13:46 200K 
[TXT]acl2_8.1dfsg-3.dsc2019-04-21 13:46 2.2K 
[ ]acl2_8.1dfsg-3_amd64.deb2019-04-21 21:43 19M 
[ ]acl2_8.1dfsg-3_i386.deb2019-04-22 01:31 18M 
[ ]acl2_8.1dfsg.orig.tar.gz2019-04-21 13:46 75M 
[ ]acl2_8.3dfsg-1.debian.tar.xz2020-08-24 13:13 201K 
[TXT]acl2_8.3dfsg-1.dsc2020-08-24 13:13 2.2K 
[ ]acl2_8.3dfsg-1_amd64.deb2020-08-24 14:18 20M 
[ ]acl2_8.3dfsg-2.debian.tar.xz2021-01-28 00:19 223K 
[TXT]acl2_8.3dfsg-2.dsc2021-01-28 00:19 2.2K 
[ ]acl2_8.3dfsg-2_amd64.deb2021-01-28 08:19 21M 
[ ]acl2_8.3dfsg.orig.tar.gz2020-08-24 13:13 112M 
[ ]acl2_8.5dfsg-1.debian.tar.xz2022-07-28 01:33 305K 
[TXT]acl2_8.5dfsg-1.dsc2022-07-28 01:33 2.2K 
[ ]acl2_8.5dfsg-1_amd64.deb2022-07-28 11:29 26M 
[ ]acl2_8.5dfsg.orig.tar.gz2022-07-28 01:33 213M 
[ ]elpa-acl2_8.5dfsg-1_all.deb2022-07-28 11:29 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