Index of /nusmv/

 Name                                       Last modified      Size  
 Parent Directory                                                -   
 nusmv-2.6.0_1.darwin_11.x86_64.tbz2        2019-09-28 06:08  3.3M  
 nusmv-2.6.0_1.darwin_11.x86_64.tbz2.rmd160 2019-09-28 06:08  512   
 nusmv-2.6.0_1.darwin_12.x86_64.tbz2        2019-09-28 06:56  3.3M  
 nusmv-2.6.0_1.darwin_12.x86_64.tbz2.rmd160 2019-09-28 06:56  512   
 nusmv-2.6.0_1.darwin_13.x86_64.tbz2        2019-01-24 02:50  3.2M  
 nusmv-2.6.0_1.darwin_13.x86_64.tbz2.rmd160 2019-01-24 02:50  512   
 nusmv-2.6.0_1.darwin_14.x86_64.tbz2        2019-01-24 08:28  3.1M  
 nusmv-2.6.0_1.darwin_14.x86_64.tbz2.rmd160 2019-01-24 08:28  512   
 nusmv-2.6.0_1.darwin_15.x86_64.tbz2        2019-01-24 07:21  3.1M  
 nusmv-2.6.0_1.darwin_15.x86_64.tbz2.rmd160 2019-01-24 07:21  512   
 nusmv-2.6.0_1.darwin_16.x86_64.tbz2        2019-01-24 14:57  3.1M  
 nusmv-2.6.0_1.darwin_16.x86_64.tbz2.rmd160 2019-01-24 14:57  512   
 nusmv-2.6.0_1.darwin_17.x86_64.tbz2        2019-01-24 08:35  3.1M  
 nusmv-2.6.0_1.darwin_17.x86_64.tbz2.rmd160 2019-01-24 08:35  512   
 nusmv-2.6.0_1.darwin_18.x86_64.tbz2        2019-01-24 06:01  3.1M  
 nusmv-2.6.0_1.darwin_18.x86_64.tbz2.rmd160 2019-01-24 06:01  512   
 nusmv-2.6.0_1.darwin_19.x86_64.tbz2        2019-12-31 15:55  3.1M  
 nusmv-2.6.0_1.darwin_19.x86_64.tbz2.rmd160 2019-12-31 15:55  512   
 nusmv-2.6.0_1.darwin_20.arm64.tbz2         2020-12-01 08:57  3.0M  
 nusmv-2.6.0_1.darwin_20.arm64.tbz2.rmd160  2020-12-01 08:57  512   
 nusmv-2.6.0_1.darwin_20.x86_64.tbz2        2020-12-21 17:50  3.1M  
 nusmv-2.6.0_1.darwin_20.x86_64.tbz2.rmd160 2020-12-21 17:50  512   
 nusmv-2.6.0_1.darwin_21.arm64.tbz2         2021-11-21 08:27  3.1M  
 nusmv-2.6.0_1.darwin_21.arm64.tbz2.rmd160  2021-11-21 08:27  512   
 nusmv-2.6.0_1.darwin_21.x86_64.tbz2        2022-01-04 16:30  3.1M  
 nusmv-2.6.0_1.darwin_21.x86_64.tbz2.rmd160 2022-01-04 16:30  512   
 nusmv-2.6.0_1.darwin_22.arm64.tbz2         2023-03-03 13:58  3.1M  
 nusmv-2.6.0_1.darwin_22.arm64.tbz2.rmd160  2023-03-03 13:58  512   
 nusmv-2.6.0_1.darwin_22.x86_64.tbz2        2023-02-21 20:33  3.1M  
 nusmv-2.6.0_1.darwin_22.x86_64.tbz2.rmd160 2023-02-21 20:33  512   
 nusmv-2.6.0_1.darwin_23.arm64.tbz2         2024-01-24 10:00  3.0M  
 nusmv-2.6.0_1.darwin_23.arm64.tbz2.rmd160  2024-01-24 10:00  512   
 nusmv-2.6.0_1.darwin_23.x86_64.tbz2        2023-12-13 11:19  3.1M  
 nusmv-2.6.0_1.darwin_23.x86_64.tbz2.rmd160 2023-12-13 11:19  512   
 nusmv-2.6.0_1.darwin_24.arm64.tbz2         2025-03-09 20:13  3.0M  
 nusmv-2.6.0_1.darwin_24.arm64.tbz2.rmd160  2025-03-09 20:13  512   
 nusmv-2.6.0_1.darwin_24.x86_64.tbz2        2024-10-13 15:17  3.1M  
 nusmv-2.6.0_1.darwin_24.x86_64.tbz2.rmd160 2024-10-13 15:17  512