Name	Size	Modified
	../	—	—
	prettyping_1.0.1-1.1_all.deb	10.5 KB	Jan 7, 2020
	prettyping_1.0.1-1.1.debian.tar.xz	2.8 KB	Jan 7, 2020
	prettyping_1.0.1-1.1.dsc	1.7 KB	Jan 7, 2020
	prettyping_1.0.1.orig.tar.gz	9.9 KB	Dec 8, 2019