Index of /nusmv/?C=N&O=A

 Name                                       Last modified      Size  
 Parent Directory                                                -   
 nusmv-2.6.0_2.darwin_11.x86_64.tbz2        2026-03-24 18:13  3.3M  
 nusmv-2.6.0_2.darwin_11.x86_64.tbz2.rmd160 2026-03-24 18:13  512   
 nusmv-2.6.0_2.darwin_12.x86_64.tbz2        2026-03-26 20:04  3.3M  
 nusmv-2.6.0_2.darwin_12.x86_64.tbz2.rmd160 2026-03-26 20:04  512   
 nusmv-2.6.0_2.darwin_13.x86_64.tbz2        2026-03-22 14:51  3.2M  
 nusmv-2.6.0_2.darwin_13.x86_64.tbz2.rmd160 2026-03-22 14:51  512   
 nusmv-2.6.0_2.darwin_14.x86_64.tbz2        2026-03-11 22:23  3.1M  
 nusmv-2.6.0_2.darwin_14.x86_64.tbz2.rmd160 2026-03-11 22:23  512   
 nusmv-2.6.0_2.darwin_15.x86_64.tbz2        2026-03-18 02:08  3.1M  
 nusmv-2.6.0_2.darwin_15.x86_64.tbz2.rmd160 2026-03-18 02:08  512   
 nusmv-2.6.0_2.darwin_16.x86_64.tbz2        2026-03-11 11:34  3.1M  
 nusmv-2.6.0_2.darwin_16.x86_64.tbz2.rmd160 2026-03-11 11:34  512   
 nusmv-2.6.0_2.darwin_17.x86_64.tbz2        2026-03-12 17:20  3.1M  
 nusmv-2.6.0_2.darwin_17.x86_64.tbz2.rmd160 2026-03-12 17:20  512   
 nusmv-2.6.0_2.darwin_18.x86_64.tbz2        2026-03-31 18:03  3.1M  
 nusmv-2.6.0_2.darwin_18.x86_64.tbz2.rmd160 2026-03-31 18:03  512   
 nusmv-2.6.0_2.darwin_19.x86_64.tbz2        2026-04-01 04:42  3.1M  
 nusmv-2.6.0_2.darwin_19.x86_64.tbz2.rmd160 2026-04-01 04:42  512   
 nusmv-2.6.0_2.darwin_20.x86_64.tbz2        2026-03-17 17:14  3.1M  
 nusmv-2.6.0_2.darwin_20.x86_64.tbz2.rmd160 2026-03-17 17:14  512   
 nusmv-2.6.0_2.darwin_22.arm64.tbz2         2026-03-29 06:07  3.1M  
 nusmv-2.6.0_2.darwin_22.arm64.tbz2.rmd160  2026-03-29 06:07  512   
 nusmv-2.6.0_2.darwin_22.x86_64.tbz2        2026-04-05 11:04  3.1M  
 nusmv-2.6.0_2.darwin_22.x86_64.tbz2.rmd160 2026-04-05 11:04  512   
 nusmv-2.6.0_2.darwin_23.arm64.tbz2         2026-03-17 15:08  3.0M  
 nusmv-2.6.0_2.darwin_23.arm64.tbz2.rmd160  2026-03-17 15:08  512   
 nusmv-2.6.0_2.darwin_23.x86_64.tbz2        2026-03-16 09:15  3.1M  
 nusmv-2.6.0_2.darwin_23.x86_64.tbz2.rmd160 2026-03-16 09:15  512