Index of /debian-ports/pool-ppc64/main/s/spike

	Name	Last modified	Size	Description
	Parent Directory		-
	spike-dbgsym_0.8.0+dfsg-2_ppc64.deb	2026-08-18 20:03	4.6M
	spike_0.8.0+dfsg-2_ppc64.buildinfo	2026-08-18 20:03	17K
	spike_0.8.0+dfsg-2_ppc64.deb	2026-08-18 20:03	3.2M