{"library":"fastddsgen","install":[{"cmd":"apt install fastddsgen","imports":[]}]}