Index of /linux/ubuntu/22.04-mirror/pool/universe/m/minisat2

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] minisat2_2.2.1-5build2_amd64.deb            2020-03-22 12:00  2.0K  
[   ] minisat_2.2.1-5build2_amd64.deb             2020-03-22 12:00   80K