../ pingus-0.7.6-ar-detection.patch 29-Apr-2023 14:10 485 pingus-0.7.6-boost_signals2.patch 03-Apr-2019 16:39 12316 pingus-0.7.6-echo-e.patch 28-Apr-2023 23:40 531 pingus-0.7.6-gcc13.patch 23-Apr-2023 04:10 297 pingus-0.7.6-gcc47.patch 19-Dec-2017 14:39 1096 pingus-0.7.6-gcc7.patch 19-Dec-2017 14:39 675 pingus-0.7.6-noopengl.patch 19-Dec-2017 14:39 315 pingus-0.7.6-python3.patch 17-Aug-2020 17:39 553