Index of /ubuntu/archive/pool/universe/m/minisat2/

Index of /ubuntu/archive/pool/universe/m/minisat2/

../
minisat2_2.2.1-4.debian.tar.gz                     15-Jul-2013 00:43    9388
minisat2_2.2.1-4.dsc                               15-Jul-2013 00:43    1879
minisat2_2.2.1-4_amd64.deb                         15-Jul-2013 00:58    1896
minisat2_2.2.1-4_i386.deb                          15-Jul-2013 00:58    1896
minisat2_2.2.1-5.debian.tar.xz                     30-Jul-2014 19:44    9348
minisat2_2.2.1-5.dsc                               30-Jul-2014 19:44    1893
minisat2_2.2.1-5_amd64.deb                         30-Jul-2014 20:38    1994
minisat2_2.2.1-5_i386.deb                          30-Jul-2014 20:40    1996
minisat2_2.2.1-5build1.debian.tar.xz               05-Apr-2018 10:01    9480
minisat2_2.2.1-5build1.dsc                         05-Apr-2018 10:01    1982
minisat2_2.2.1-5build1_amd64.deb                   05-Apr-2018 10:03    2032
minisat2_2.2.1-5build1_i386.deb                    05-Apr-2018 10:04    2028
minisat2_2.2.1-5build2.debian.tar.xz               22-Mar-2020 19:10    9528
minisat2_2.2.1-5build2.dsc                         22-Mar-2020 19:10    1978
minisat2_2.2.1-5build2_amd64.deb                   22-Mar-2020 20:00    2032
minisat2_2.2.1-8build1.debian.tar.xz               01-Apr-2024 10:00    9976
minisat2_2.2.1-8build1.dsc                         01-Apr-2024 10:00    1811
minisat2_2.2.1.orig.tar.gz                         30-Apr-2011 19:05     43K
minisat_2.2.1-4_amd64.deb                          15-Jul-2013 00:58    128K
minisat_2.2.1-4_i386.deb                           15-Jul-2013 00:58    124K
minisat_2.2.1-5_amd64.deb                          30-Jul-2014 20:38     81K
minisat_2.2.1-5_i386.deb                           30-Jul-2014 20:40     95K
minisat_2.2.1-5build1_amd64.deb                    05-Apr-2018 10:03     80K
minisat_2.2.1-5build1_i386.deb                     05-Apr-2018 10:04     89K
minisat_2.2.1-5build2_amd64.deb                    22-Mar-2020 20:00     80K
minisat_2.2.1-8build1_amd64.deb                    01-Apr-2024 12:33     86K
Disclaimer
This website is offered to you by Hostnet B.V. All files offered on this website are provided for the interest and convenience to visitors of this website. Hostnet B.V. has no control over the files and Hostnet B.V. does not provide any guarantee concerning (the content of) the files, does not vouch for the quality of the files, and is not responsible or liable in connection with these files. The use of the files is solely at the user’s own risk. This website, the disclaimer and the use of the files are governed by the laws of the Netherlands. All disputes in connection with the website, the disclaimer and the use of the files will be submitted for the exclusive settlement to the competent court in Amsterdam, the Netherlands.

 

Hostnet