Directory listing for leancheck-instances-0.0.5 candidate source tarball

leancheck-instances-0.0.5/test/diff/eg/