Index of /ubuntu-ports/ppc64el/pool/universe/m/minisat+

 Name                                   Last modified      Size  
 Parent Directory                                            -   
 minisat+_1.0-2.debian.tar.gz           2011-11-12 03:20  3.9K  
 minisat+_1.0-2.dsc                     2011-11-12 03:20  1.2K  
 minisat+_1.0-2_arm64.deb               2013-10-20 01:28  172K  
 minisat+_1.0-2_armhf.deb               2011-12-07 07:04  141K  
 minisat+_1.0-2_powerpc.deb             2011-11-13 01:03  169K  
 minisat+_1.0-2_ppc64el.deb             2014-02-19 04:28  147K  
 minisat+_1.0-2_s390x.deb               2015-12-04 19:47  147K  
 minisat+_1.0-4.debian.tar.xz           2017-04-29 18:58  4.1K  
 minisat+_1.0-4.dsc                     2017-04-29 18:58  1.9K  
 minisat+_1.0-4_arm64.deb               2017-04-29 21:36  132K  
 minisat+_1.0-4_armhf.deb               2017-04-29 21:37  122K  
 minisat+_1.0-4_ppc64el.deb             2017-04-29 20:30  146K  
 minisat+_1.0-4_s390x.deb               2017-04-29 20:32  146K  
 minisat+_1.0-4build1.debian.tar.xz     2020-03-22 12:10  4.2K  
 minisat+_1.0-4build1.dsc               2020-03-22 12:10  2.0K  
 minisat+_1.0-4build1_arm64.deb         2020-03-22 15:56  124K  
 minisat+_1.0-4build1_armhf.deb         2020-03-22 15:56  117K  
 minisat+_1.0-4build1_ppc64el.deb       2020-03-22 16:18  146K  
 minisat+_1.0-4build1_riscv64.deb       2020-04-03 05:14  137K  
 minisat+_1.0-4build1_s390x.deb         2020-03-22 15:31  155K  
 minisat+_1.0-5.debian.tar.xz           2024-10-31 14:11  4.3K  
 minisat+_1.0-5.dsc                     2024-10-31 14:11  1.9K  
 minisat+_1.0-5_arm64.deb               2024-10-31 16:11  153K  
 minisat+_1.0-5_armhf.deb               2024-10-31 16:20  144K  
 minisat+_1.0-5_ppc64el.deb             2024-10-31 20:09  169K  
 minisat+_1.0-5_riscv64.deb             2024-11-01 07:36  164K  
 minisat+_1.0-5_s390x.deb               2024-10-31 16:34  189K  
 minisat+_1.0.orig.tar.gz               2011-11-12 03:20   78K