Index of /pool/main/t/tasksh

	Name	Last modified	Size
	Parent Directory		-
	tasksh_1.2.0-1.debian.tar.xz	2017-07-02 13:33	2.6K
	tasksh_1.2.0-1.dsc	2017-07-02 13:33	1.9K
	tasksh_1.2.0.orig.tar.gz	2017-07-02 13:33	439K
	tasksh_1.2.0-1_armhf.deb	2017-07-07 12:08	85K