Index of /debian/pool/main/m/minisat+

 Name                         Last modified      Size  Description
 Parent Directory                                  -   
 minisat+_1.0-2.debian.tar.gz 2011-05-24 21:50  3.9K  
 minisat+_1.0-2.dsc           2011-05-24 21:50  1.2K  
 minisat+_1.0-2_amd64.deb     2011-05-24 21:50  176K  
 minisat+_1.0-2_i386.deb      2011-05-25 03:49  170K  
 minisat+_1.0-3.debian.tar.xz 2016-12-19 14:23  4.0K  
 minisat+_1.0-3.dsc           2016-12-19 14:23  1.9K  
 minisat+_1.0-3_amd64.deb     2016-12-19 14:58  155K  
 minisat+_1.0-3_arm64.deb     2016-12-19 14:58  131K  
 minisat+_1.0-3_i386.deb      2016-12-19 14:58  156K  
 minisat+_1.0-4.debian.tar.xz 2017-02-22 15:22  4.1K  
 minisat+_1.0-4.dsc           2017-02-22 15:22  1.9K  
 minisat+_1.0-4_amd64.deb     2017-02-22 16:12  155K  
 minisat+_1.0-4_arm64.deb     2017-02-22 16:12  131K  
 minisat+_1.0-4_i386.deb      2017-02-22 16:12  156K  
 minisat+_1.0.orig.tar.gz     2011-05-14 08:02   78K