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=JgYXJ8IQA5x3eUww10WtNC-U8c_nbOg2z1zHLM49jLo,4399
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=W3w8arvMGMT5AjP9bKpNmNzCq4IYSReF8P8UAUvDSQE,8715
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=b9q4xFoACQznb9l09_fyvH8Dx3OoK9nmWQCgr6pfM3c,20548
coq_tools/diagnose_error.py,sha256=MFwqpX5Ct8MgIgmXc-c161Ds6GqAlVHREgG1Bgm2P98,21499
coq_tools/file_util.py,sha256=0Lg4EuxmOvOABGWbj6EPdqLLFuhSfUP5G9uME8AeDok,5018
coq_tools/find_bug.py,sha256=xpatgjAueIUguthp4IGSCGEs3zen0bDRHqSk6GJjcJA,173412
coq_tools/generate-full-grammar.py,sha256=ulfdr6R-QZ54o5yHINjGyCFsKXYr42HQdaVO7GqqvQw,461
coq_tools/get_admitted_names.py,sha256=s-F3zGGlbW8jQ5y7ID5uRWNOH3sCsNmpDEQeLZqSBlc,10261
coq_tools/import_util.py,sha256=izax6S2uGhrrXlazkfENoFeB3T063B2SJQ4itCDLoqc,60134
coq_tools/inline_imports.py,sha256=d4k2TN5XUyW8VxZLIxOSiLFSXCrVxCtUP0jlvTZ-NVI,5906
coq_tools/memoize.py,sha256=2UKul0V7Wkm_lowmjU3ddWpdfjgj5Vq0M7uaKOlYz2w,1401
coq_tools/minimize_requires.py,sha256=7zUVEWsz_2U42jctZNOqAa9WrlkB52lKfMFDSTHKDv8,14257
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=s00KhyVyzX68T2PqWQM-azizlIERJRsdxSnC13qiuq8,14389
coq_tools/split_definitions.py,sha256=osh2GMOnawVlER8e-Uqitl4FxglhpkV2mq3JZZc9rGk,24437
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=7FuTLidCDSJELu2Q81B-IlUMapz4Zeq8QZ4ujV5AuLs,21109
coq_tools-0.0.40.dist-info/licenses/LICENSE,sha256=-1yclnzAZGrdOAVnLAjsxtpHj5NqKwNiDNY3gJGlQYo,1078
coq_tools-0.0.40.dist-info/METADATA,sha256=aLlIHtSbhP7Fizk5I8f2T914Tha4EYuevz-saH7zIfY,4449
coq_tools-0.0.40.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
coq_tools-0.0.40.dist-info/entry_points.txt,sha256=Zl88vKKhKln1j84hGnKOcsJc7nnj5YCi1c43i1SdYNU,170
coq_tools-0.0.40.dist-info/top_level.txt,sha256=UByavplg6ZMTv6X8xaHi8DkUaoKe_KCb74mWbFe_FQo,10
coq_tools-0.0.40.dist-info/RECORD,,
