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/m/minisat2/

Index of /ubuntu-ports/pool/universe/m/minisat2/

../
minisat2_2.2.1-4.debian.tar.gz                     14-Jul-2013 22:43                9388
minisat2_2.2.1-4.dsc                               14-Jul-2013 22:43                1879
minisat2_2.2.1-4_arm64.deb                         20-Oct-2013 06:28                1898
minisat2_2.2.1-4_armhf.deb                         14-Jul-2013 22:58                1898
minisat2_2.2.1-4_powerpc.deb                       14-Jul-2013 23:13                1898
minisat2_2.2.1-4_ppc64el.deb                       19-Feb-2014 10:28                1932
minisat2_2.2.1-5.debian.tar.xz                     30-Jul-2014 17:44                9348
minisat2_2.2.1-5.dsc                               30-Jul-2014 17:44                1893
minisat2_2.2.1-5_arm64.deb                         30-Jul-2014 18:39                1996
minisat2_2.2.1-5_armhf.deb                         30-Jul-2014 17:45                1990
minisat2_2.2.1-5_powerpc.deb                       30-Jul-2014 18:40                2010
minisat2_2.2.1-5_ppc64el.deb                       30-Jul-2014 18:41                1998
minisat2_2.2.1-5_s390x.deb                         05-Dec-2015 01:47                1938
minisat2_2.2.1-5build1.debian.tar.xz               05-Apr-2018 08:01                9480
minisat2_2.2.1-5build1.dsc                         05-Apr-2018 08:01                1982
minisat2_2.2.1-5build1_arm64.deb                   05-Apr-2018 08:04                2028
minisat2_2.2.1-5build1_armhf.deb                   05-Apr-2018 08:04                2028
minisat2_2.2.1-5build1_ppc64el.deb                 05-Apr-2018 08:04                2032
minisat2_2.2.1-5build1_s390x.deb                   05-Apr-2018 08:04                2032
minisat2_2.2.1-5build2.debian.tar.xz               22-Mar-2020 17:10                9528
minisat2_2.2.1-5build2.dsc                         22-Mar-2020 17:10                1978
minisat2_2.2.1-5build2_arm64.deb                   22-Mar-2020 20:56                2032
minisat2_2.2.1-5build2_armhf.deb                   22-Mar-2020 20:56                2032
minisat2_2.2.1-5build2_ppc64el.deb                 22-Mar-2020 21:23                2032
minisat2_2.2.1-5build2_riscv64.deb                 03-Apr-2020 10:14                2032
minisat2_2.2.1-5build2_s390x.deb                   22-Mar-2020 20:31                2032
minisat2_2.2.1-8build1.debian.tar.xz               01-Apr-2024 08:00                9976
minisat2_2.2.1-8build1.dsc                         01-Apr-2024 08:00                1811
minisat2_2.2.1.orig.tar.gz                         30-Apr-2011 17:05               44229
minisat_2.2.1-4_arm64.deb                          20-Oct-2013 06:28              128854
minisat_2.2.1-4_armhf.deb                          14-Jul-2013 22:58              121796
minisat_2.2.1-4_powerpc.deb                        14-Jul-2013 23:13              136498
minisat_2.2.1-4_ppc64el.deb                        19-Feb-2014 10:28               92706
minisat_2.2.1-5_arm64.deb                          30-Jul-2014 18:39               81576
minisat_2.2.1-5_armhf.deb                          30-Jul-2014 17:45               77854
minisat_2.2.1-5_powerpc.deb                        30-Jul-2014 18:40               88030
minisat_2.2.1-5_ppc64el.deb                        30-Jul-2014 18:41               93924
minisat_2.2.1-5_s390x.deb                          05-Dec-2015 01:47               79914
minisat_2.2.1-5build1_arm64.deb                    05-Apr-2018 08:04               80368
minisat_2.2.1-5build1_armhf.deb                    05-Apr-2018 08:04               74992
minisat_2.2.1-5build1_ppc64el.deb                  05-Apr-2018 08:04              101856
minisat_2.2.1-5build1_s390x.deb                    05-Apr-2018 08:04               78988
minisat_2.2.1-5build2_arm64.deb                    22-Mar-2020 20:56               79060
minisat_2.2.1-5build2_armhf.deb                    22-Mar-2020 20:56               75276
minisat_2.2.1-5build2_ppc64el.deb                  22-Mar-2020 21:23               91312
minisat_2.2.1-5build2_riscv64.deb                  03-Apr-2020 10:14              148104
minisat_2.2.1-5build2_s390x.deb                    22-Mar-2020 20:31               78000
minisat_2.2.1-8build1_arm64.deb                    02-Apr-2024 11:01               92006
minisat_2.2.1-8build1_armhf.deb                    01-Apr-2024 19:53               81018
minisat_2.2.1-8build1_ppc64el.deb                  02-Apr-2024 02:14              103916
minisat_2.2.1-8build1_riscv64.deb                  02-Apr-2024 01:09              176358
minisat_2.2.1-8build1_s390x.deb                    02-Apr-2024 05:03               94270
powered by nginx