Index of /ubuntu/archive/pool/universe/m/minisat+/

Index of /ubuntu/archive/pool/universe/m/minisat+/

../
minisat+_1.0-2.debian.tar.gz                       12-Nov-2011 11:20    3966
minisat+_1.0-2.dsc                                 12-Nov-2011 11:20    1262
minisat+_1.0-2_amd64.deb                           12-Nov-2011 14:12    176K
minisat+_1.0-2_i386.deb                            12-Nov-2011 14:16    168K
minisat+_1.0-4.debian.tar.xz                       30-Apr-2017 01:58    4176
minisat+_1.0-4.dsc                                 30-Apr-2017 01:58    1984
minisat+_1.0-4_amd64.deb                           30-Apr-2017 03:25    155K
minisat+_1.0-4_i386.deb                            30-Apr-2017 03:29    146K
minisat+_1.0-4build1.debian.tar.xz                 22-Mar-2020 19:10    4252
minisat+_1.0-4build1.dsc                           22-Mar-2020 19:10    2033
minisat+_1.0-4build1_amd64.deb                     22-Mar-2020 19:50    139K
minisat+_1.0-5.debian.tar.xz                       31-Oct-2024 21:11    4448
minisat+_1.0-5.dsc                                 31-Oct-2024 21:11    1979
minisat+_1.0-5_amd64.deb                           31-Oct-2024 22:59    157K
minisat+_1.0.orig.tar.gz                           12-Nov-2011 11:20     78K
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