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/pool/universe/c/coquelicot/

Index of /ubuntu/pool/universe/c/coquelicot/

../
coquelicot_0.9.2-2.debian.tar.gz                   17-Jun-2013 11:33               26643
coquelicot_0.9.2-2.dsc                             17-Jun-2013 11:33                2283
coquelicot_0.9.2-2_all.deb                         17-Jun-2013 12:33              280832
coquelicot_0.9.2.orig.tar.gz                       17-Jun-2013 11:33              174781
coquelicot_0.9.5-1.debian.tar.xz                   23-Oct-2015 21:36               34380
coquelicot_0.9.5-1.dsc                             23-Oct-2015 21:36                2339
coquelicot_0.9.5-1_all.deb                         24-Oct-2015 00:51              322536
coquelicot_0.9.5.orig.tar.gz                       23-Oct-2015 21:36              187194
coquelicot_0.9.6-1ubuntu1.debian.tar.xz            02-Mar-2018 10:53               34620
coquelicot_0.9.6-1ubuntu1.dsc                      02-Mar-2018 10:53                2211
coquelicot_0.9.6-1ubuntu1_all.deb                  02-Mar-2018 10:53              294376
coquelicot_0.9.6.orig.tar.gz                       20-Dec-2016 23:18              191585
coquelicot_3.4.1-1build5.debian.tar.xz             08-Apr-2024 07:57                2324
coquelicot_3.4.1-1build5.dsc                       08-Apr-2024 07:57                2163
coquelicot_3.4.1-3build6.debian.tar.xz             17-Sep-2024 15:51                2340
coquelicot_3.4.1-3build6.dsc                       17-Sep-2024 15:51                2084
coquelicot_3.4.1.orig.tar.gz                       20-Jan-2024 23:35              281532
coquelicot_3.4.2-1build1.debian.tar.xz             21-Nov-2024 07:16                2332
coquelicot_3.4.2-1build1.dsc                       21-Nov-2024 07:16                2087
coquelicot_3.4.2.orig.tar.bz2                      20-Nov-2024 18:47              230261
libcoq-coquelicot_3.4.1-1build5_amd64.deb          08-Apr-2024 14:36             3768322
libcoq-coquelicot_3.4.1-3build6_amd64.deb          19-Sep-2024 23:39             3863634
libcoq-coquelicot_3.4.2-1build1_amd64.deb          21-Nov-2024 14:01             3855812
powered by nginx