{"library":"opam-installer","install":[{"cmd":"apt install opam-installer","imports":[]}]}