AdaCore :导入包,例如 'Display'

AdaCore : importing packages e.g.'Display'

有人可以建议如何将 'Display' 包导入 GPS 社区版吗? [YouTube:AdaCore 课程#2]https://youtube.com/watch?v=3jtOFle5K_c

它们是 Game_Support 库的一部分 here