-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
FTP.UNI-STUTTGART.DE
Official file server of the University of Stuttgart
Contact: ftpmaster@ftp.uni-stuttgart.de
Services: http, ftp, rsync (Uni internal nets only)
Downstream mirror setup upon request
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
libcoq-ocaml_8.9.1-2+b1_armhf.deb 2019-12-08 23:08 5.3M
libcoq-ocaml_8.9.0-1_armhf.deb 2019-02-25 11:08 5.1M
libcoq-ocaml_8.6-4_armhf.deb 2017-01-17 03:52 3.4M
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb 2014-08-13 13:18 1.5M
libcoq-ocaml-dev_8.9.1-2+b1_armhf.deb 2019-12-08 23:08 14M
libcoq-ocaml-dev_8.9.0-1_armhf.deb 2019-02-25 11:08 14M
libcoq-ocaml-dev_8.6-4_armhf.deb 2017-01-17 03:52 13M
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb 2014-08-13 13:18 3.8M
coqide_8.6-4_armhf.deb 2017-01-17 03:52 1.3M
coqide_8.4pl4dfsg-1_armhf.deb 2014-08-13 13:18 777K
![[ ]](/icons/compressed.gif)
coq_8.9.1.orig.tar.gz 2019-08-20 05:27 5.1M
coq_8.9.1-2.dsc 2019-11-08 17:20 2.1K
coq_8.9.1-2.debian.tar.xz 2019-11-08 17:20 29K
coq_8.9.1-2+b1_armhf.deb 2019-12-08 23:08 56M
coq_8.9.0.orig.tar.gz 2019-02-06 19:49 5.1M
coq_8.9.0-1_armhf.deb 2019-02-25 11:08 53M
coq_8.9.0-1.dsc 2019-02-06 19:49 2.4K
coq_8.9.0-1.debian.tar.xz 2019-02-06 19:49 27K
coq_8.6.orig.tar.gz 2016-12-28 14:44 4.8M
coq_8.6-4_armhf.deb 2017-01-17 03:52 13M
coq_8.6-4.dsc 2016-12-30 01:56 2.3K
coq_8.6-4.debian.tar.xz 2016-12-30 01:56 21K
coq_8.4pl4dfsg.orig.tar.gz 2014-07-27 17:26 3.4M
coq_8.4pl4dfsg-1_armhf.deb 2014-08-13 13:18 3.7M
coq_8.4pl4dfsg-1.dsc 2014-07-27 17:26 2.3K
coq_8.4pl4dfsg-1.debian.tar.xz 2014-07-27 17:26 15K
coq-theories_8.9.1-2+b1_armhf.deb 2019-12-08 23:08 19M
coq-theories_8.9.0-1_armhf.deb 2019-02-25 11:08 19M
coq-theories_8.6-4_armhf.deb 2017-01-17 03:52 22M
coq-theories_8.4pl4dfsg-1_all.deb 2014-07-27 17:26 31M
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
Currently mirrored:
CPAN CPAN PERL modules archive (4.0 TiB)
centos CentOS archive (4.0 TiB)
debian-cd The Debian CD archive (4.0 TiB)
debian-mozilla Unofficial mirror of mozilla.debian.net (4.0 TiB)
debian-multimedia Christian Marillat's Debian Multimedia Archive (4.0 TiB)
debian-security Debian Security Updates (4.0 TiB)
debian The Debian archive (4.0 TiB)
epel Fedora EPEL archive (4.0 TiB)
grml GRML Linux Live-CD Releases (4.0 TiB)
knoppix-dvd KNOPPIX Linux Live-DVD Releases (4.0 TiB)
knoppix KNOPPIX Linux Live-CD Releases (4.0 TiB)
opensuse OpenSuSE archive (4.0 TiB)
opensuse-buildservice OpenSuSE Buildservice archive (8.0 TiB)
raspbian Raspbian archive (4.0 TiB)
scientificlinux ScientficLinux archive (4.0 TiB)
siduction Siduction Linux archive (4.0 TiB)
slitaz SliTaz mini Linux archive (4.0 TiB)
ubuntu-cdimage Ubuntu CD/DVD Images Archive (4.0 TiB)
ubuntu-releases Ubuntu Releases Archive (4.0 TiB)
ubuntu The Ubuntu archive (4.0 TiB)
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.- S U M M A R Y -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
ftp Overall ftp.uni-stuttgart.de diskspace used (17.0 TiB)
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
If you're missing any important mirror or see unexplained inconsistency
please do not hesitate to contact us at ftpmaster@ftp.uni-stuttgart.de.
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-