/games-board/crafty/files/

• ../
• crafty-23.4-64bits.patch