Index of /bionic/pool/main/d/devscripts

	Name	Last modified	Size	Description
	Parent Directory		-
	devscripts_2.17.12ub..>	2018-07-05 19:38	850K
	devscripts_2.17.12ub..>	2018-07-05 19:38	850K
	devscripts_2.17.12ub..>	2018-01-03 07:08	850K
	devscripts_2.17.12ub..>	2018-01-03 07:08	850K