Index of /trisquel/packages/pool/main/m/minisat+

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 minisat+_1.0-4build1_ppc64el.deb                   2020-03-23 05:18  146K  
 minisat+_1.0-4build1_armhf.deb                     2020-03-23 04:56  117K  
 minisat+_1.0-4build1_arm64.deb                     2020-03-23 04:56  124K  
 minisat+_1.0-4build1_amd64.deb                     2020-03-23 01:50  139K  
 minisat+_1.0-4build1.dsc                           2020-03-23 01:10  2.0K  
 minisat+_1.0-4build1.debian.tar.xz                 2020-03-23 01:10  4.2K  
 minisat+_1.0-4_i386.deb                            2017-04-30 09:29  146K  
 minisat+_1.0-4_amd64.deb                           2017-04-30 09:25  155K  
 minisat+_1.0-4.dsc                                 2017-04-30 07:58  1.9K  
 minisat+_1.0-4.debian.tar.xz                       2017-04-30 07:58  4.1K  
 minisat+_1.0-2_i386.deb                            2011-11-12 20:16  168K  
 minisat+_1.0-2_amd64.deb                           2011-11-12 20:12  176K  
 minisat+_1.0.orig.tar.gz                           2011-11-12 17:20   78K  
 minisat+_1.0-2.dsc                                 2011-11-12 17:20  1.2K  
 minisat+_1.0-2.debian.tar.gz                       2011-11-12 17:20  3.9K