Index of /cvmfsmonitor/repository/hyperk.egi.eu/prod2018/root/etc/proof/proofbench

	Name	Last modified	Size	Description
	Parent Directory		-
	ProofBenchCPUSel.par	2018-03-14 10:30	4.2K
	ProofBenchDataSel.par	2018-03-14 10:30	18K