Index of /macports/packages/nusmv

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