Index of /pool/main/d/digitemp

	Name	Last modified	Size
	Parent Directory		-
	digitemp_3.7.2-1.debian.tar.xz	2018-11-28 08:31	5.3K
	digitemp_3.7.2-1.dsc	2018-11-28 08:31	1.8K
	digitemp_3.7.2-1_armhf.deb	2018-12-03 11:08	75K
	digitemp_3.7.2.orig.tar.gz	2018-11-28 08:31	143K