Index of /nova/pool/principal/m/minisat2/


../
minisat2_2.2.1-5build1.debian.tar.xz               10-Jun-2020 18:27                9480
minisat2_2.2.1-5build1.dsc                         10-Jun-2020 18:27                1982
minisat2_2.2.1-5build1_amd64.deb                   10-Jun-2020 17:52                2032
minisat2_2.2.1-5build1_i386.deb                    10-Jun-2020 19:16                2028
minisat2_2.2.1-5build2.debian.tar.xz               21-Jun-2020 17:33                9528
minisat2_2.2.1-5build2.dsc                         21-Jun-2020 17:33                1978
minisat2_2.2.1-5build2_amd64.deb                   21-Jun-2020 17:02                2032
minisat2_2.2.1.orig.tar.gz                         10-Jun-2020 07:10               44229
minisat_2.2.1-5build1_amd64.deb                    10-Jun-2020 18:02               81816
minisat_2.2.1-5build1_i386.deb                     10-Jun-2020 18:23               90692
minisat_2.2.1-5build2_amd64.deb                    21-Jun-2020 18:20               81944