Index of /ubuntu-ports/pool/main/d/devscripts

	Name	Last modified	Size	Description
	Parent Directory		-
	devscripts_2.17.12ubuntu1.1_armhf.deb	2018-07-05 17:38	850K
	devscripts_2.17.12ubuntu1_armhf.deb	2018-01-03 06:08	850K