Index of /debian/pool/main/w/whalebuilder

	Name	Last modified	Size
	Parent Directory		-
	whalebuilder_0.7.dsc	2018-11-01 16:50	1.2K
	whalebuilder_0.7.tar.gz	2018-11-01 16:50	25K
	whalebuilder_0.7_all.deb	2018-11-01 16:50	15K