{"library":"frama-c-base","install":[{"cmd":"apt install frama-c-base","imports":[]}]}