coq/__init__.py,sha256=KAKOHUwUQfNARprN4Zf_GYadiwcyc4HiAkEbtbRqWmE,207
coq/example.py,sha256=FDLZDn2fl2v4KgNl27Az4_na_jHXM_Ls2ZZGkfJ3p_U,432
coq-0.1.7.dist-info/licenses/LICENSE,sha256=lGqYPRu3lleJvt_BTHICb4whSbxbeVCu-5rzCi0ZbUo,1066
coq-0.1.7.dist-info/METADATA,sha256=uDMuWUdPLz1IBkLB9pnNYdrpCzRRc0gsvmSYDxpqWLE,2166
coq-0.1.7.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
coq-0.1.7.dist-info/top_level.txt,sha256=Hm8mjxHx6e9mVAB-WU2CacryHXUVqlOxkW2d5oJekik,4
coq-0.1.7.dist-info/RECORD,,
