Welcome to docker.ru hosting provider linux mirror located at Moscow, Russian Federation.
Server configuration: Linux with OpenZFS, 2 x E5-2670v2, 128 GB ECC memory, 12 x 4 TB raidz2 + 1 TB SSD for L2ARC.
Network: 20 gbps uplink, IPv4 (185.253.23.31), IPv6 (2a04:8580:ffff:fffe::2).
My hostname is mirror.docker.ru Index of /debian-archive/backports.org/pool/main/c/coq/

Index of /debian-archive/backports.org/pool/main/c/coq/

../
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb        16-Mar-2013 17:22            54040792
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz           16-Mar-2013 17:22               16475
coq_8.3.pl3+dfsg-1~bpo60+1.dsc                     16-Mar-2013 17:22                2205
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb               16-Mar-2013 17:22             5599138
coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb               16-Mar-2013 17:22             1777754
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb                16-Mar-2013 17:22             4883346
coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb                16-Mar-2013 17:22             1777210
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb      16-Mar-2013 17:22             5592652
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb       16-Mar-2013 17:22             4880722
coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb                16-Mar-2013 17:22             1777104
coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb              16-Mar-2013 17:22             1775658
coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb             16-Mar-2013 17:22             5482678
coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb                16-Mar-2013 17:22             1774124
coq_8.3.pl3+dfsg.orig.tar.gz                       16-Mar-2013 17:22             3152870
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb            16-Mar-2013 17:22             5540418
coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb            16-Mar-2013 17:22             2483660
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb             16-Mar-2013 17:22             5118062
coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb             16-Mar-2013 17:22             2485248
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb   16-Mar-2013 17:22             5539112
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb    16-Mar-2013 17:22             5116388
coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb             16-Mar-2013 17:22             2485196
coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb           16-Mar-2013 17:22             2483616
coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb          16-Mar-2013 17:22             5564152
coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb             16-Mar-2013 17:22             2483252
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb  16-Mar-2013 17:22             5886524
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb  16-Mar-2013 17:22             2505282
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb   16-Mar-2013 17:22             5748012
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb   16-Mar-2013 17:22             2511510
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebs..> 16-Mar-2013 17:22             5856994
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebs..> 16-Mar-2013 17:22             5709712
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb   16-Mar-2013 17:22             2507912
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 16-Mar-2013 17:22             2506574
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc..> 16-Mar-2013 17:22             6700426
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb   16-Mar-2013 17:22             2506406
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb      16-Mar-2013 17:22             2096404
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb      16-Mar-2013 17:22              534734
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb       16-Mar-2013 17:22             1852056
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb       16-Mar-2013 17:22              535282
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-am..> 16-Mar-2013 17:22             2094916
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i3..> 16-Mar-2013 17:22             1854494
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb       16-Mar-2013 17:22              531732
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb     16-Mar-2013 17:22              530486
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb    16-Mar-2013 17:22             2138908
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb       16-Mar-2013 17:22              531036
powered by nginx