tasty-leancheck 0.0.1

1 Reverse dep Accepted versions
automata -any