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