{"library":"gnat-mingw-w64","install":[{"cmd":"apt install gnat-mingw-w64","imports":[]}]}