Dependencies for leancheck-0.7.4

library