lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard
verified publisher icon Deducteam

problem with --lib-root and lambdapi.pkg

Open fblanqui opened this issue 2 years ago • 0 comments

lambdapi check --lib-root=. foo.dk fails when there is a lambdapi.pkg file with path_root=foo.

fblanqui avatar Apr 18 '23 12:04 fblanqui