Explain local frege dependency installation