coq_tools/Popen_noblock.py,sha256=N5Ggtc168btAOj9zG0b_0je1KxoC2sLPTbEDpacqJ24,1465
coq_tools/__init__.py,sha256=cFd8TSoaititaaltgza4hpjx3mjVaos-4fPuvMPfHOg,202
coq_tools/absolutize_imports.py,sha256=CNuuEiFwnbWFvbJrXagRjSKR0zHhd5MHVjRqtCdWjLc,3800
coq_tools/admit_abstract.py,sha256=2zePOTkPgTUd6EvbywW6MKfYgf3CU6E6Bu2PxTr8eFo,3897
coq_tools/argparse_compat.py,sha256=_yrVgMJE2hRAbTUz6CjPw5o9Nqhk1C3Puxi64RmrJXk,108
coq_tools/argparse_py2.py,sha256=ub0Z6GGgkvhS-FmfmDyVc45p1Nnd8U-K9uPYnWVKU8A,87845
coq_tools/binding_util.py,sha256=5c1R6gIgIioqkAnh2oBnmRLlzcVYZ0nA5waaAhFWlDw,380
coq_tools/coq_full_grammar.py,sha256=QBydAy1oICYEdt8kCqVZ6hkIltwcHp-_PQhhofh1yT0,7254
coq_tools/coq_running_support.py,sha256=9K9L2HH-xM2dmrzGZO5MLEYJYWscz0Aj0qgvjLnXuQ8,3506
coq_tools/coq_version.py,sha256=yYhjr-mqWNAHbPAA11QjneO53qDQYdZvMZS_dNHEsN0,8535
coq_tools/coqtop-as-coqc.sh,sha256=iePWmrsbyngXEZWlprxLuAsuarMFMncQldLpGFLO5Dc,548
coq_tools/coqtop.bat,sha256=-I21CG7kXGUHL22gNAR4TiuaeOCqwaQGgnm3z7OdYYY,11
coq_tools/custom_arguments.py,sha256=OvjHHbGrylwWGacU6MwU5zxCfka7_NGjGMw4iSCGEG8,13368
coq_tools/diagnose_error.py,sha256=qv3we0g6shI5Z9nV7rqUKTsseU1GsRzLZbgbr1uCJ2I,14927
coq_tools/file_util.py,sha256=rl4ir-7mq-90zyCziMZco1n1LeANSuovs6HHyzWMrNo,2912
coq_tools/find_bug.py,sha256=bX7zJ86G0KsuLaL1aPM0j2J3a9pY_nNig2RQlXstTC4,100534
coq_tools/generate-full-grammar.py,sha256=43hyIF_b26_C7Eh_XxhgD6T7Hz7l5cg8XL5MimTgD0A,450
coq_tools/get_admitted_names.py,sha256=liHNI3o50paNj_NmIYRC8Pt1LuRk0Yga66rc50P-HdE,9388
coq_tools/import_util.py,sha256=znmCe-Wt09TaTmFWrW-AcZfTJ4AhoOST9IXaAllJ-3w,39456
coq_tools/inline_imports.py,sha256=v7L-Ht6pBtCv6qKYe3EvgiFUHny-S65IybLHMICZGJ4,4862
coq_tools/memoize.py,sha256=94njzAsTUaPupZU4n_uQCO4gU_8zp0pt-xm_r8Bs8-E,583
coq_tools/minimize_requires.py,sha256=DdAN_0a4Jiq6c3Y2At2TL0KisAWcOeQdP0OJvTRCJCU,12370
coq_tools/minimizer_drivers.py,sha256=NfGwNo6cVvOrqVzJOGCt4slCVZFMxeahokVuElYBhPA,3421
coq_tools/move_requires.py,sha256=GBf0GitHD78WgrIdWzI1y8JXLZmJnXDZNeGdLinOoJM,3296
coq_tools/move_vernaculars.py,sha256=PksarjRVtHq_P5cXm3-1lK8TLdp_EWKkuLigCuGSyuo,10367
coq_tools/proof_using_helper.py,sha256=bdbObTza0-0OxPdcvjfWPWL8AVSjApp2YPFB3fy4rxI,12530
coq_tools/replace_imports.py,sha256=pj1t_kXE06rbvr_NPJPv4WgUlkTxELphUU-4bJDHkck,12468
coq_tools/split_definitions.py,sha256=VkqQk_WCGDDwH5CajOukqjNCpNxSEJCiZID_5w9rkfY,13772
coq_tools/split_definitions_old.py,sha256=ngUWp6LqTIYdgzxWhqSd820lHOFm9yyVg7YQu7KmItc,9586
coq_tools/split_file.py,sha256=R3tGz03FmNJFOxvTow9CJ4UXgYrnE8abslwKrH7-hvc,7815
coq_tools/strip_comments.py,sha256=3rUO0Q5nP9yiBAX7IqUNB2FgFniPvV2AxpXO2XZdlEM,1434
coq_tools/strip_newlines.py,sha256=xnHoqQmeduIHC8znN1UtsSYcjt0Yvmt7Ns8HjIW8prw,806
coq_tools/util.py,sha256=uVZug0Eq5ew2ZqqOECgnm0YDpTsxe4fGkEso8wMcEoY,3757
coq_tools-0.0.3.dist-info/LICENSE,sha256=-1yclnzAZGrdOAVnLAjsxtpHj5NqKwNiDNY3gJGlQYo,1078
coq_tools-0.0.3.dist-info/METADATA,sha256=eAimkfV8h1sEBw45WEBeQg9y945PbWKD2DwzKUVfigg,4104
coq_tools-0.0.3.dist-info/WHEEL,sha256=yQN5g4mg4AybRjkgi-9yy4iQEFibGQmlz78Pik5Or-A,92
coq_tools-0.0.3.dist-info/entry_points.txt,sha256=Zl88vKKhKln1j84hGnKOcsJc7nnj5YCi1c43i1SdYNU,170
coq_tools-0.0.3.dist-info/top_level.txt,sha256=UByavplg6ZMTv6X8xaHi8DkUaoKe_KCb74mWbFe_FQo,10
coq_tools-0.0.3.dist-info/RECORD,,
