-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-

			    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

  -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
Icon  Name                                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] coq-theories_8.4pl4dfsg-1_all.deb 2014-07-27 17:26 31M [   ] coq-theories_8.6-4_armhf.deb 2017-01-17 03:52 22M [   ] coq-theories_8.9.0-1_armhf.deb 2019-02-25 11:08 19M [   ] coq-theories_8.9.1-1_armhf.deb 2019-09-05 06:08 19M [   ] coq_8.4pl4dfsg-1.debian.tar.xz 2014-07-27 17:26 15K [   ] coq_8.4pl4dfsg-1.dsc 2014-07-27 17:26 2.3K [   ] coq_8.4pl4dfsg-1_armhf.deb 2014-08-13 13:18 3.7M [   ] coq_8.4pl4dfsg.orig.tar.gz 2014-07-27 17:26 3.4M [   ] coq_8.6-4.debian.tar.xz 2016-12-30 01:56 21K [   ] coq_8.6-4.dsc 2016-12-30 01:56 2.3K [   ] coq_8.6-4_armhf.deb 2017-01-17 03:52 13M [   ] coq_8.6.orig.tar.gz 2016-12-28 14:44 4.8M [   ] coq_8.9.0-1.debian.tar.xz 2019-02-06 19:49 27K [   ] coq_8.9.0-1.dsc 2019-02-06 19:49 2.4K [   ] coq_8.9.0-1_armhf.deb 2019-02-25 11:08 53M [   ] coq_8.9.0.orig.tar.gz 2019-02-06 19:49 5.1M [   ] coq_8.9.1-1.debian.tar.xz 2019-08-20 05:27 29K [   ] coq_8.9.1-1.dsc 2019-08-20 05:27 2.1K [   ] coq_8.9.1-1_armhf.deb 2019-09-05 06:08 53M [   ] coq_8.9.1.orig.tar.gz 2019-08-20 05:27 5.1M [   ] coqide_8.4pl4dfsg-1_armhf.deb 2014-08-13 13:18 777K [   ] coqide_8.6-4_armhf.deb 2017-01-17 03:52 1.3M [   ] libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb 2014-08-13 13:18 3.8M [   ] libcoq-ocaml-dev_8.6-4_armhf.deb 2017-01-17 03:52 13M [   ] libcoq-ocaml-dev_8.9.0-1_armhf.deb 2019-02-25 11:08 14M [   ] libcoq-ocaml-dev_8.9.1-1_armhf.deb 2019-09-05 06:08 14M [   ] libcoq-ocaml_8.4pl4dfsg-1_armhf.deb 2014-08-13 13:18 1.5M [   ] libcoq-ocaml_8.6-4_armhf.deb 2017-01-17 03:52 3.4M [   ] libcoq-ocaml_8.9.0-1_armhf.deb 2019-02-25 11:08 5.1M [   ] libcoq-ocaml_8.9.1-1_armhf.deb 2019-09-05 06:08 5.1M
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-

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        (16.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.

-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-