../ pingus-0.7.6-ar-detection.patch 29-Apr-2023 22:10 485 pingus-0.7.6-boost_signals2.patch 04-Apr-2019 00:39 12316 pingus-0.7.6-echo-e.patch 29-Apr-2023 07:40 531 pingus-0.7.6-gcc13.patch 23-Apr-2023 12:10 297 pingus-0.7.6-gcc47.patch 19-Dec-2017 22:39 1096 pingus-0.7.6-gcc7.patch 19-Dec-2017 22:39 675 pingus-0.7.6-noopengl.patch 19-Dec-2017 22:39 315 pingus-0.7.6-python3.patch 18-Aug-2020 01:39 553