Index of /pub/linux/debian-archive/debian-amd64/pool/main/m/mined/

Filename	Modification time	Size
mined_2000.10-2.diff.gz	2005-02-12 19:32 CET	3454 B
mined_2000.10-2.dsc	2005-02-12 19:32 CET	593 B
mined_2000.10-2_amd64.deb	2005-04-30 19:31 CEST	2353 KiB
mined_2000.10.orig.tar.gz	2005-04-30 19:31 CEST	3021 KiB