/games-arcade/cervi/files/

• ../
• cervi-0.0.3-gcc43.patch