Index of /debian-ports/pool-riscv64/main/p/pushpin

	Name	Last modified	Size
	Parent Directory		-
	pushpin_1.25.0-1_riscv64.buildinfo	2019-11-21 00:03	9.4K
	pushpin_1.25.0-1_riscv64.deb	2019-11-21 00:03	830K