Index of /debian-ports/pool-riscv64/main/g/gnat-gps

	Name	Last modified	Size
	Parent Directory		-
	gnat-gps-dbgsym_19.2-3_riscv64.deb	2020-02-26 12:03	43M
	gnat-gps_19.2-3_riscv64.buildinfo	2020-02-26 12:03	14K
	gnat-gps_19.2-3_riscv64.deb	2020-02-26 12:03	15M