Index of /debian/pool/main/t/tuxpuck

	Name	Last modified	Size	Description

	Parent Directory		-
	tuxpuck_0.8.2-12_amd64.deb	2022-08-22 18:42	326K
	tuxpuck_0.8.2-12_i386.deb	2022-08-22 18:37	327K

Apache/2.4.62 (Debian) Server at currituck.cs.unc.edu Port 443