{"library":"agda-bin","install":[{"cmd":"apt install agda-bin","imports":[]}]}