Index of /macports/packages/minisat

	Name	Last modified	Size
	Parent Directory		-
	minisat-2.2.0_1.darwin_11.x86_64.tbz2	2019-11-15 18:48	45K
	minisat-2.2.0_1.darwin_11.x86_64.tbz2.rmd160	2019-11-15 18:48	512
	minisat-2.2.0_1.darwin_12.x86_64.tbz2	2019-11-16 18:56	45K
	minisat-2.2.0_1.darwin_12.x86_64.tbz2.rmd160	2019-11-16 18:56	512
	minisat-2.2.0_1.darwin_13.x86_64.tbz2	2016-09-21 06:43	44K
	minisat-2.2.0_1.darwin_13.x86_64.tbz2.rmd160	2016-09-21 06:43	512
	minisat-2.2.0_1.darwin_14.x86_64.tbz2	2016-09-21 07:28	45K
	minisat-2.2.0_1.darwin_14.x86_64.tbz2.rmd160	2016-09-21 07:28	512
	minisat-2.2.0_1.darwin_15.x86_64.tbz2	2016-09-21 07:52	44K
	minisat-2.2.0_1.darwin_15.x86_64.tbz2.rmd160	2016-09-21 07:52	512
	minisat-2.2.0_1.darwin_16.x86_64.tbz2	2016-09-21 07:35	44K
	minisat-2.2.0_1.darwin_16.x86_64.tbz2.rmd160	2016-09-21 07:35	512
	minisat-2.2.0_1.darwin_17.x86_64.tbz2	2018-10-21 07:29	45K
	minisat-2.2.0_1.darwin_17.x86_64.tbz2.rmd160	2018-10-21 07:29	512
	minisat-2.2.0_1.darwin_18.x86_64.tbz2	2018-10-21 15:10	47K
	minisat-2.2.0_1.darwin_18.x86_64.tbz2.rmd160	2018-10-21 15:10	512
	minisat-2.2.0_1.darwin_19.x86_64.tbz2	2019-12-29 23:12	45K
	minisat-2.2.0_1.darwin_19.x86_64.tbz2.rmd160	2019-12-29 23:12	512
	minisat-2.2.0_1.darwin_20.arm64.tbz2	2021-01-02 16:09	42K
	minisat-2.2.0_1.darwin_20.arm64.tbz2.rmd160	2021-01-02 16:09	512
	minisat-2.2.0_1.darwin_20.x86_64.tbz2	2021-01-02 20:49	45K
	minisat-2.2.0_1.darwin_20.x86_64.tbz2.rmd160	2021-01-02 20:49	512
	minisat-2.2.0_1.darwin_21.arm64.tbz2	2021-11-23 17:43	41K
	minisat-2.2.0_1.darwin_21.arm64.tbz2.rmd160	2021-11-23 17:43	512
	minisat-2.2.0_1.darwin_21.x86_64.tbz2	2022-01-12 13:47	44K
	minisat-2.2.0_1.darwin_21.x86_64.tbz2.rmd160	2022-01-12 13:47	512
	minisat-2.2.0_1.darwin_22.arm64.tbz2	2023-03-06 17:12	42K
	minisat-2.2.0_1.darwin_22.arm64.tbz2.rmd160	2023-03-06 17:12	512
	minisat-2.2.0_1.darwin_22.x86_64.tbz2	2022-12-25 10:51	44K
	minisat-2.2.0_1.darwin_22.x86_64.tbz2.rmd160	2022-12-25 10:51	512
	minisat-2.2.0_1.darwin_23.arm64.tbz2	2024-01-22 13:16	42K
	minisat-2.2.0_1.darwin_23.arm64.tbz2.rmd160	2024-01-22 13:16	512
	minisat-2.2.0_1.darwin_23.x86_64.tbz2	2023-12-24 04:27	45K
	minisat-2.2.0_1.darwin_23.x86_64.tbz2.rmd160	2023-12-24 04:27	512
	minisat-2.2.0_1.darwin_24.x86_64.tbz2	2024-10-08 04:58	44K
	minisat-2.2.0_1.darwin_24.x86_64.tbz2.rmd160	2024-10-08 04:58	512
	minisat-2.2.0_1.darwin_9.ppc.tbz2	2016-10-02 02:27	45K
	minisat-2.2.0_1.darwin_9.ppc.tbz2.rmd160	2016-10-02 02:27	512