axsent/__init__.py,sha256=zxE1PApNQbDt1JuebVp2BuPpj9bqd_vC6a0wxWWuMu4,2917
axsent/agda.py,sha256=BL_lUauqKBdbgIAZC5KmtNtI9pHQul6Knv_q1SDiTq0,4600
axsent/cli.py,sha256=Su2EMf55BYw-tIk2LodCBTb_i259YRwjfm6T2OQGQlI,1789
axsent/isa_strip.py,sha256=Jr4xZUDPAE80ktSLIWdOFIisoS8HTNUiX_hCQV6nErU,1956
axsent/isabelle.py,sha256=uctkaYMJb7PwsWrvHo4KPC8ZQ0n483penvAp68i1VdA,4060
axsent/rocq.py,sha256=4vY_xl0mfb-ywhjOzxZFxTxXlCONWxBT_hvcR9ub14g,5184
axsent-0.1.0.dist-info/licenses/LICENSE,sha256=x8eiEMXx7uakfytPuslHlWBipuZqG0z3mZ85ktCQCYI,1073
axsent-0.1.0.dist-info/METADATA,sha256=jgmE6rdoTz3ADYDIK--LEc2zIvSsFzYF3fSvVg1-uWI,6958
axsent-0.1.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
axsent-0.1.0.dist-info/entry_points.txt,sha256=p84w_7F_2NiuDhq8mlLWYcPuv3vyewATrcYMYy3suPI,43
axsent-0.1.0.dist-info/top_level.txt,sha256=Vsp5zIqIAoI3ybHeLL-8bdXPlyIFzHeY2wEma6e_5fE,7
axsent-0.1.0.dist-info/RECORD,,
