Index of /pub/os/linux/debian-archive/debian/pool/main/p/pike-public.tools.configfiles/

Filename	Modification time	Size
pike-public.tools.configfiles_1.0-5.diff.gz	2006-10-15 00:47 CEST	2851 B
pike-public.tools.configfiles_1.0-5.dsc	2006-10-15 00:47 CEST	721 B
pike-public.tools.configfiles_1.0-5_all.deb	2006-10-15 00:47 CEST	2456 B
pike-public.tools.configfiles_1.0.orig.tar.gz	2005-12-16 13:02 CET	15 KiB
pike7.6-public.tools.configfiles_1.0-5_all.deb	2006-10-15 00:47 CEST	4102 B