coq_tools/Popen_noblock.py,sha256=PviASv_Hm5bwLyuWAlXqH0ZoT08OM-pqv_Fsva48CFk,1468
coq_tools/__init__.py,sha256=aOiBnHMbEZiKjqqNQmu-PzbcijYD8JcCmwcIKJbO4UY,200
coq_tools/absolutize_imports.py,sha256=htkbPPgjAub21TWgkwwU9aitSpK7HknRnj6_1HXf6fQ,4034
coq_tools/admit_abstract.py,sha256=URz0k1P5i9UxAIkA-vtJzV3w_-xZcGXCjD5srgfawWY,4033
coq_tools/argparse_compat.py,sha256=f86NxCi9Fj2d04gFHDH_QQD7et6i0AyixxKT6Ofi59M,1388
coq_tools/argparse_py2.py,sha256=G8fSSQm98X5GNQpOUbkIwGay5uz_67h7vYDhP9C6HMI,86054
coq_tools/binding_util.py,sha256=EIbEZhO_pBsZdpw-oKS4M2gVueKW9_eniHePZwO-qmM,413
coq_tools/coq_full_grammar.py,sha256=SHD67u-I8QZCYgGgqkTnCSE9aFR8sEntgzwLTXqCYUk,9809
coq_tools/coq_running_support.py,sha256=NFacx3qkyKyOeQCXKOpzrZskaZUpnBG_1dDzYCZ2fOs,6732
coq_tools/coq_version.py,sha256=OpYEDR7toh2-BSaBVC9SC4ABwPXXgyy_InGLMPph5G4,10979
coq_tools/coqtop-as-coqc.sh,sha256=iePWmrsbyngXEZWlprxLuAsuarMFMncQldLpGFLO5Dc,548
coq_tools/coqtop.bat,sha256=-I21CG7kXGUHL22gNAR4TiuaeOCqwaQGgnm3z7OdYYY,11
coq_tools/custom_arguments.py,sha256=TLcxfF7L60Iqh3gdWsWfwF_4Ey3kvN2YuV57O7TkvRQ,15575
coq_tools/diagnose_error.py,sha256=lDsV8zFoD5TUoZyZrbg8qdA2GOyN6ZfpB19rMGJWPpA,16131
coq_tools/file_util.py,sha256=bZRqGhorktJR9ujvVMFC6dezr7P4g46ab9Ltf9bBTe0,3631
coq_tools/find_bug.py,sha256=eawUxFUgtCk7BLJ8fpNxudJLzjh81lzcvbbwoyaoVLQ,147941
coq_tools/generate-full-grammar.py,sha256=ulfdr6R-QZ54o5yHINjGyCFsKXYr42HQdaVO7GqqvQw,461
coq_tools/get_admitted_names.py,sha256=BWiKuL46CO2464fdu8rXiz5ysYF311eEcvXZ-TJS0IQ,9900
coq_tools/import_util.py,sha256=5-_5gtoebLUT68MoeCa-GA72sc3eVH85MHO9R0xPgvs,52717
coq_tools/inline_imports.py,sha256=d4k2TN5XUyW8VxZLIxOSiLFSXCrVxCtUP0jlvTZ-NVI,5906
coq_tools/memoize.py,sha256=HFia1MxqzwDtYmyoLbIMMTaglq44J-8mcZa27fsheD0,1311
coq_tools/minimize_requires.py,sha256=bi8KlTeoiqtHH84JDfbnbmRa0eBv9jUbD93OIQAjw3Y,12935
coq_tools/minimizer_drivers.py,sha256=RjfyWHD-QFYaDml1lWgt7-xPsh_E92zRhQDMh0ihVoc,3440
coq_tools/move_requires.py,sha256=mc4Z7toaadf0WznIMQWgOTE8TECdLng8nzRMRYwdNjQ,3338
coq_tools/move_vernaculars.py,sha256=jogYOYF7tUeutvKnC29MYMJSxgXIuV0DAftr_qmsjkI,10089
coq_tools/proof_using_helper.py,sha256=NFghDDtRhXz4SUXveCPEPWl_0Vvytsi6rokB151UIKc,12976
coq_tools/replace_imports.py,sha256=RdPUht9jtw_9m12bLgP74Apf_ToL7hgYk0Q3HO5Y4nY,13339
coq_tools/split_definitions.py,sha256=S39a3-UFlLHzBdINyRxd7OzKAWQLUQ8tx8lbQ6gsR4M,19463
coq_tools/split_definitions_old.py,sha256=Qz9AoMwkC5ldFDqFTyx3zLNB1336mFIlmOdtne_Qk2c,10000
coq_tools/split_file.py,sha256=YZQ4BTS6IyJ8GaKc4kuVEHsvNstx8ldgtVxssKjwt20,8040
coq_tools/strip_comments.py,sha256=RKo7y6eoO_3gM02_Ejb55YEB1C2JEsCEhfqlS4c1czQ,3133
coq_tools/strip_newlines.py,sha256=D6Of8qGODYI_JBB3TKdFmaMn9hz0Aw7UFBDtqO5amdo,807
coq_tools/util.py,sha256=R8zwpMFkAquI8dwFg1qVQ61SOg5MGmphHRzLVn_LJo4,7672
coq_tools-0.0.20.dist-info/licenses/LICENSE,sha256=-1yclnzAZGrdOAVnLAjsxtpHj5NqKwNiDNY3gJGlQYo,1078
coq_tools-0.0.20.dist-info/METADATA,sha256=DAofpJRUToa_KLoxzynLlSG6CN3LL0KetPf9zpCeCgE,4127
coq_tools-0.0.20.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
coq_tools-0.0.20.dist-info/entry_points.txt,sha256=Zl88vKKhKln1j84hGnKOcsJc7nnj5YCi1c43i1SdYNU,170
coq_tools-0.0.20.dist-info/top_level.txt,sha256=UByavplg6ZMTv6X8xaHi8DkUaoKe_KCb74mWbFe_FQo,10
coq_tools-0.0.20.dist-info/RECORD,,
