Index of /debian-ports/pool-ia64/main/m/minisat2

	Name	Last modified	Size
	Parent Directory		-
	minisat-dbgsym_2.2.1-8_ia64.deb	2024-02-28 00:03	237K
	minisat2_2.2.1-8_ia64.buildinfo	2024-02-28 00:03	5.9K
	minisat_2.2.1-8_ia64.deb	2024-02-28 00:03	97K