Index of /extended-lts/pool/main/d/devscripts

	Name	Last modified	Size

	Parent Directory		-
	devscripts_2.15.3+deb8u1_amd64.deb	2016-07-25 15:31	879K
	devscripts_2.15.3+deb8u1_i386.deb	2016-07-25 15:31	879K

Apache/2.4.62 (Debian) Server at deb.dsi.ist.utl.pt Port 443