Ryan Burns 68f8c1fc66 stockfish: 12 -> 13		2021-06-05 12:18:53 -07:00
..
default.nix	stockfish: 12 -> 13	2021-06-05 12:18:53 -07:00