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 /ubuntu-ports/pool/universe/p/ppx-tools-versioned/

Index of /ubuntu-ports/pool/universe/p/ppx-tools-versioned/

../
libppx-tools-versioned-ocaml-dev_5.2.3-1build1_..> 21-Feb-2020 08:33            27507204
libppx-tools-versioned-ocaml-dev_5.2.3-1build1_..> 21-Feb-2020 09:28            21028124
libppx-tools-versioned-ocaml-dev_5.2.3-1build1_..> 21-Feb-2020 09:28            23378784
libppx-tools-versioned-ocaml-dev_5.2.3-1build1_..> 05-Apr-2020 02:44             2744532
libppx-tools-versioned-ocaml-dev_5.2.3-1build1_..> 21-Feb-2020 09:28            23006120
libppx-tools-versioned-ocaml-doc_5.2.3-1build1_..> 21-Feb-2020 09:28               41792
libppx-tools-versioned-ocaml_5.2.3-1build1_arm6..> 21-Feb-2020 08:33             1195384
libppx-tools-versioned-ocaml_5.2.3-1build1_armh..> 21-Feb-2020 09:28             1037744
libppx-tools-versioned-ocaml_5.2.3-1build1_ppc6..> 21-Feb-2020 09:28             1092024
libppx-tools-versioned-ocaml_5.2.3-1build1_risc..> 05-Apr-2020 02:44              681276
libppx-tools-versioned-ocaml_5.2.3-1build1_s390..> 21-Feb-2020 09:28             1118576
ppx-tools-versioned_5.2.3-1build1.debian.tar.xz    21-Feb-2020 07:53                3216
ppx-tools-versioned_5.2.3-1build1.dsc              21-Feb-2020 07:53                2555
ppx-tools-versioned_5.2.3.orig.tar.gz              22-Aug-2019 09:13               76957
powered by nginx