coqconfig/__init__.py,sha256=4k60o6jWBvGf3jDaIgO7-FCPOVIJ8_Pb-qZBUTGtrOI,24
coqconfig/coqconfig.py,sha256=j1TRrC5qI11btKWj02XweyAFPcZw8JK6MmVytK_qTfg,9697
coq_config-0.0.1.dist-info/LICENSE,sha256=VE7KpXdaDnmDIGkdZQ1Ja04kCXWQyUIMpag2XJdGA-Q,1322
coq_config-0.0.1.dist-info/METADATA,sha256=p9O69y9zoIHNVDYGsp5B28F-FSEAmeUpk-SZlYjV5sw,2052
coq_config-0.0.1.dist-info/WHEEL,sha256=OqRkF0eY5GHssMorFjlbTIq072vpHpF60fIQA6lS9xA,92
coq_config-0.0.1.dist-info/entry_points.txt,sha256=IZQAlnIgeXpKiyoRHW6_41wUl6kHcjhYToCIjh83Y2k,47
coq_config-0.0.1.dist-info/top_level.txt,sha256=LY_0MmkOwxTxC523FB8yWL8tIPFu9d6rNAqGjIkF17c,10
coq_config-0.0.1.dist-info/RECORD,,
