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

lambdapi does not compile with the last version of cmdliner (2.0.0)

Open fblanqui opened this issue 5 months ago • 1 comments

fblanqui avatar Oct 01 '25 13:10 fblanqui

Shouldn't we get rid of cmdliner?

fblanqui avatar Oct 02 '25 14:10 fblanqui