Index of /minizinc/

 Name                                          Last modified      Size  
 Parent Directory                                                   -   
 minizinc-2.5.1_0.darwin_10.i386.tbz2          2020-10-23 14:01  4.6M  
 minizinc-2.5.1_0.darwin_10.i386.tbz2.rmd160   2020-10-23 14:01  512   
 minizinc-2.5.1_0.darwin_10.x86_64.tbz2        2020-10-23 14:12  4.5M  
 minizinc-2.5.1_0.darwin_10.x86_64.tbz2.rmd160 2020-10-23 14:12  512   
 minizinc-2.5.1_0.darwin_14.x86_64.tbz2        2020-10-23 14:13  4.1M  
 minizinc-2.5.1_0.darwin_14.x86_64.tbz2.rmd160 2020-10-23 14:13  512   
 minizinc-2.5.1_0.darwin_15.x86_64.tbz2        2020-10-23 14:36  4.1M  
 minizinc-2.5.1_0.darwin_15.x86_64.tbz2.rmd160 2020-10-23 14:36  512   
 minizinc-2.5.1_0.darwin_16.x86_64.tbz2        2020-10-23 14:18  4.1M  
 minizinc-2.5.1_0.darwin_16.x86_64.tbz2.rmd160 2020-10-23 14:18  512   
 minizinc-2.5.1_0.darwin_17.x86_64.tbz2        2020-10-23 14:35  4.1M  
 minizinc-2.5.1_0.darwin_17.x86_64.tbz2.rmd160 2020-10-23 14:35  512   
 minizinc-2.5.1_0.darwin_18.x86_64.tbz2        2020-10-23 15:16  4.1M  
 minizinc-2.5.1_0.darwin_18.x86_64.tbz2.rmd160 2020-10-23 15:16  512   
 minizinc-2.5.1_0.darwin_19.x86_64.tbz2        2020-10-23 14:52  4.3M  
 minizinc-2.5.1_0.darwin_19.x86_64.tbz2.rmd160 2020-10-23 14:52  512   
 minizinc-2.5.2_0.darwin_10.i386.tbz2          2020-11-21 15:40  4.6M  
 minizinc-2.5.2_0.darwin_10.i386.tbz2.rmd160   2020-11-21 15:40  512   
 minizinc-2.5.2_0.darwin_10.x86_64.tbz2        2020-11-15 12:51  4.5M  
 minizinc-2.5.2_0.darwin_10.x86_64.tbz2.rmd160 2020-11-15 12:51  512   
 minizinc-2.5.2_0.darwin_14.x86_64.tbz2        2020-11-15 12:48  4.1M  
 minizinc-2.5.2_0.darwin_14.x86_64.tbz2.rmd160 2020-11-15 12:48  512   
 minizinc-2.5.2_0.darwin_15.x86_64.tbz2        2020-11-15 12:55  4.1M  
 minizinc-2.5.2_0.darwin_15.x86_64.tbz2.rmd160 2020-11-15 12:55  512   
 minizinc-2.5.2_0.darwin_16.x86_64.tbz2        2020-11-15 12:54  4.1M  
 minizinc-2.5.2_0.darwin_16.x86_64.tbz2.rmd160 2020-11-15 12:54  512   
 minizinc-2.5.2_0.darwin_17.x86_64.tbz2        2020-11-15 12:54  4.1M  
 minizinc-2.5.2_0.darwin_17.x86_64.tbz2.rmd160 2020-11-15 12:54  512   
 minizinc-2.5.2_0.darwin_18.x86_64.tbz2        2020-11-15 12:59  4.2M  
 minizinc-2.5.2_0.darwin_18.x86_64.tbz2.rmd160 2020-11-15 12:59  512   
 minizinc-2.5.2_0.darwin_19.x86_64.tbz2        2020-11-15 12:56  4.3M  
 minizinc-2.5.2_0.darwin_19.x86_64.tbz2.rmd160 2020-11-15 12:56  512   
 minizinc-2.5.2_0.darwin_20.x86_64.tbz2        2020-11-16 13:37  4.1M  
 minizinc-2.5.2_0.darwin_20.x86_64.tbz2.rmd160 2020-11-16 13:37  512   
 minizinc-2.5.3_0.darwin_10.i386.tbz2          2020-11-27 22:56  4.6M  
 minizinc-2.5.3_0.darwin_10.i386.tbz2.rmd160   2020-11-27 22:56  512   
 minizinc-2.5.3_0.darwin_10.x86_64.tbz2        2020-11-27 22:52  4.5M  
 minizinc-2.5.3_0.darwin_10.x86_64.tbz2.rmd160 2020-11-27 22:52  512   
 minizinc-2.5.3_0.darwin_14.x86_64.tbz2        2020-11-27 22:51  4.2M  
 minizinc-2.5.3_0.darwin_14.x86_64.tbz2.rmd160 2020-11-27 22:51  512   
 minizinc-2.5.3_0.darwin_15.x86_64.tbz2        2020-11-27 22:50  4.1M  
 minizinc-2.5.3_0.darwin_15.x86_64.tbz2.rmd160 2020-11-27 22:50  512   
 minizinc-2.5.3_0.darwin_16.x86_64.tbz2        2020-11-27 22:52  4.1M  
 minizinc-2.5.3_0.darwin_16.x86_64.tbz2.rmd160 2020-11-27 22:52  512   
 minizinc-2.5.3_0.darwin_17.x86_64.tbz2        2020-11-27 22:50  4.1M  
 minizinc-2.5.3_0.darwin_17.x86_64.tbz2.rmd160 2020-11-27 22:50  512   
 minizinc-2.5.3_0.darwin_18.x86_64.tbz2        2020-11-27 22:51  4.2M  
 minizinc-2.5.3_0.darwin_18.x86_64.tbz2.rmd160 2020-11-27 22:51  512   
 minizinc-2.5.3_0.darwin_19.x86_64.tbz2        2020-11-27 22:51  4.3M  
 minizinc-2.5.3_0.darwin_19.x86_64.tbz2.rmd160 2020-11-27 22:51  512   
 minizinc-2.5.3_0.darwin_20.arm64.tbz2         2020-11-27 22:48  3.9M  
 minizinc-2.5.3_0.darwin_20.arm64.tbz2.rmd160  2020-11-27 22:48  512   
 minizinc-2.5.3_0.darwin_20.x86_64.tbz2        2020-12-09 19:46  4.2M  
 minizinc-2.5.3_0.darwin_20.x86_64.tbz2.rmd160 2020-12-09 19:46  512