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