{"library":"coqpit","install":[{"cmd":"pip install coqpit","imports":["from coqpit import Coqpit","from coqpit import BaseConfig"]}]}