Index of /pub/macports/packages/minisat

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]minisat-2.2.0_1.darwin_24.arm64.tbz22025-03-15 21:09 43K 
[ ]minisat-2.2.0_1.darwin_24.arm64.tbz2.rmd1602025-03-15 21:09 512  
[ ]minisat-2.2.1_0.darwin_10.i386.tbz22025-11-27 21:56 90K 
[ ]minisat-2.2.1_0.darwin_10.i386.tbz2.rmd1602025-11-27 21:56 512  
[ ]minisat-2.2.1_0.darwin_10.x86_64.tbz22025-11-27 21:50 88K 
[ ]minisat-2.2.1_0.darwin_10.x86_64.tbz2.rmd1602025-11-27 21:50 512  
[ ]minisat-2.2.1_0.darwin_11.x86_64.tbz22025-11-27 21:55 93K 
[ ]minisat-2.2.1_0.darwin_11.x86_64.tbz2.rmd1602025-11-27 21:55 512  
[ ]minisat-2.2.1_0.darwin_12.x86_64.tbz22025-11-27 21:56 91K 
[ ]minisat-2.2.1_0.darwin_12.x86_64.tbz2.rmd1602025-11-27 21:56 512  
[ ]minisat-2.2.1_0.darwin_13.x86_64.tbz22025-11-27 21:55 90K 
[ ]minisat-2.2.1_0.darwin_13.x86_64.tbz2.rmd1602025-11-27 21:55 512  
[ ]minisat-2.2.1_0.darwin_14.x86_64.tbz22025-11-27 21:51 87K 
[ ]minisat-2.2.1_0.darwin_14.x86_64.tbz2.rmd1602025-11-27 21:51 512  
[ ]minisat-2.2.1_0.darwin_15.x86_64.tbz22025-11-27 22:04 85K 
[ ]minisat-2.2.1_0.darwin_15.x86_64.tbz2.rmd1602025-11-27 22:04 512  
[ ]minisat-2.2.1_0.darwin_16.x86_64.tbz22025-11-27 21:57 86K 
[ ]minisat-2.2.1_0.darwin_16.x86_64.tbz2.rmd1602025-11-27 21:57 512  
[ ]minisat-2.2.1_0.darwin_17.x86_64.tbz22025-11-27 21:49 85K 
[ ]minisat-2.2.1_0.darwin_17.x86_64.tbz2.rmd1602025-11-27 21:49 512  
[ ]minisat-2.2.1_0.darwin_18.x86_64.tbz22025-11-27 21:58 86K 
[ ]minisat-2.2.1_0.darwin_18.x86_64.tbz2.rmd1602025-11-27 21:58 512  
[ ]minisat-2.2.1_0.darwin_19.x86_64.tbz22025-11-27 21:50 86K 
[ ]minisat-2.2.1_0.darwin_19.x86_64.tbz2.rmd1602025-11-27 21:50 512  
[ ]minisat-2.2.1_0.darwin_20.arm64.tbz22025-11-28 04:19 86K 
[ ]minisat-2.2.1_0.darwin_20.arm64.tbz2.rmd1602025-11-28 04:19 512  
[ ]minisat-2.2.1_0.darwin_20.x86_64.tbz22025-11-27 21:54 86K 
[ ]minisat-2.2.1_0.darwin_20.x86_64.tbz2.rmd1602025-11-27 21:54 512  
[ ]minisat-2.2.1_0.darwin_21.arm64.tbz22025-11-28 00:50 85K 
[ ]minisat-2.2.1_0.darwin_21.arm64.tbz2.rmd1602025-11-28 00:50 512  
[ ]minisat-2.2.1_0.darwin_21.x86_64.tbz22025-11-27 21:48 86K 
[ ]minisat-2.2.1_0.darwin_21.x86_64.tbz2.rmd1602025-11-27 21:48 512  
[ ]minisat-2.2.1_0.darwin_22.arm64.tbz22025-11-28 00:25 85K 
[ ]minisat-2.2.1_0.darwin_22.arm64.tbz2.rmd1602025-11-28 00:25 512  
[ ]minisat-2.2.1_0.darwin_22.x86_64.tbz22025-11-28 00:20 85K 
[ ]minisat-2.2.1_0.darwin_22.x86_64.tbz2.rmd1602025-11-28 00:20 512  
[ ]minisat-2.2.1_0.darwin_23.arm64.tbz22025-11-27 21:44 86K 
[ ]minisat-2.2.1_0.darwin_23.arm64.tbz2.rmd1602025-11-27 21:44 512  
[ ]minisat-2.2.1_0.darwin_23.x86_64.tbz22025-11-27 22:52 85K 
[ ]minisat-2.2.1_0.darwin_23.x86_64.tbz2.rmd1602025-11-27 22:52 512  
[ ]minisat-2.2.1_0.darwin_24.arm64.tbz22025-11-27 21:46 85K 
[ ]minisat-2.2.1_0.darwin_24.arm64.tbz2.rmd1602025-11-27 21:46 512  
[ ]minisat-2.2.1_0.darwin_24.x86_64.tbz22025-11-27 21:45 85K 
[ ]minisat-2.2.1_0.darwin_24.x86_64.tbz2.rmd1602025-11-27 21:45 512  
[ ]minisat-2.2.1_0.darwin_25.arm64.tbz22025-11-28 20:18 85K 
[ ]minisat-2.2.1_0.darwin_25.arm64.tbz2.rmd1602025-11-28 20:18 512