Index of /macports/packages/yices

	Name	Last modified	Size
	Parent Directory		-
	yices-2.6.5_0.darwin_24.x86_64.tbz2.rmd160	2024-10-11 06:15	512
	yices-2.6.5_0.darwin_24.x86_64.tbz2	2024-10-11 06:15	3.4M
	yices-2.6.5_0.darwin_23.x86_64.tbz2.rmd160	2024-06-29 00:37	512
	yices-2.6.5_0.darwin_23.x86_64.tbz2	2024-06-29 00:37	3.4M
	yices-2.6.5_0.darwin_22.arm64.tbz2.rmd160	2024-06-28 22:06	512
	yices-2.6.5_0.darwin_22.arm64.tbz2	2024-06-28 22:06	3.4M
	yices-2.6.5_0.darwin_23.arm64.tbz2.rmd160	2024-06-28 18:24	512
	yices-2.6.5_0.darwin_23.arm64.tbz2	2024-06-28 18:24	3.4M
	yices-2.6.5_0.darwin_21.x86_64.tbz2.rmd160	2024-06-28 17:56	512
	yices-2.6.5_0.darwin_21.x86_64.tbz2	2024-06-28 17:56	3.6M
	yices-2.6.5_0.darwin_20.x86_64.tbz2.rmd160	2024-06-28 17:42	512
	yices-2.6.5_0.darwin_20.x86_64.tbz2	2024-06-28 17:42	3.6M
	yices-2.6.5_0.darwin_18.x86_64.tbz2.rmd160	2024-06-28 17:39	512
	yices-2.6.5_0.darwin_18.x86_64.tbz2	2024-06-28 17:39	3.6M
	yices-2.6.5_0.darwin_19.x86_64.tbz2.rmd160	2024-06-28 17:36	512
	yices-2.6.5_0.darwin_19.x86_64.tbz2	2024-06-28 17:36	3.6M
	yices-2.6.5_0.darwin_22.x86_64.tbz2.rmd160	2024-06-28 16:28	512
	yices-2.6.5_0.darwin_22.x86_64.tbz2	2024-06-28 16:28	3.5M
	yices-2.6.5_0.darwin_15.x86_64.tbz2.rmd160	2024-06-28 16:07	512
	yices-2.6.5_0.darwin_15.x86_64.tbz2	2024-06-28 16:07	3.5M
	yices-2.6.5_0.darwin_12.x86_64.tbz2.rmd160	2024-06-28 16:07	512
	yices-2.6.5_0.darwin_12.x86_64.tbz2	2024-06-28 16:07	3.5M
	yices-2.6.5_0.darwin_13.x86_64.tbz2.rmd160	2024-06-28 16:06	512
	yices-2.6.5_0.darwin_13.x86_64.tbz2	2024-06-28 16:06	3.5M
	yices-2.6.5_0.darwin_10.x86_64.tbz2.rmd160	2024-06-28 16:06	512
	yices-2.6.5_0.darwin_10.x86_64.tbz2	2024-06-28 16:06	3.6M
	yices-2.6.5_0.darwin_16.x86_64.tbz2.rmd160	2024-06-28 16:06	512
	yices-2.6.5_0.darwin_16.x86_64.tbz2	2024-06-28 16:06	3.4M
	yices-2.6.5_0.darwin_17.x86_64.tbz2.rmd160	2024-06-28 16:05	512
	yices-2.6.5_0.darwin_17.x86_64.tbz2	2024-06-28 16:05	3.5M
	yices-2.6.5_0.darwin_14.x86_64.tbz2.rmd160	2024-06-28 16:05	512
	yices-2.6.5_0.darwin_14.x86_64.tbz2	2024-06-28 16:05	3.4M
	yices-2.6.5_0.darwin_11.x86_64.tbz2.rmd160	2024-06-28 16:04	512
	yices-2.6.5_0.darwin_11.x86_64.tbz2	2024-06-28 16:04	3.3M
	yices-2.6.5_0.darwin_21.arm64.tbz2.rmd160	2024-06-28 15:58	512
	yices-2.6.5_0.darwin_21.arm64.tbz2	2024-06-28 15:58	3.5M