有人可以建议如何将“ Display”包导入GPS社区版吗?[YouTube:AdaCore课程#2] https://youtube.com/watch?v=3jtOFle5K_c
它们是here中的Game_Support库的一部分。