acl2_kernel/__init__.py,sha256=1puaeZdAeGosfgjVGvNZHsK1wZZBIDwhqRS6GZ2RyIk,67
acl2_kernel/__main__.py,sha256=U77Zla5P9dDaA4Ct6HO1-tR-2koc12ZyDd-PUDjwg9w,127
acl2_kernel/install.py,sha256=mpVXo-m2Ylt_MIPB4pVVznxMDW5Bbz063otTvb6Z-E8,2158
acl2_kernel/kernel.py,sha256=7Bcx9OHX5cILlVd1UrQiSI_0hKcKUS1J0IAyxSw74cE,4597
acl2_kernel-0.3.0.dist-info/LICENSE.md,sha256=FGKGkUnKSQy85Pg5-HHQgvBfqSCluOk_90Y1swIAoos,4571
acl2_kernel-0.3.0.dist-info/WHEEL,sha256=y3eDiaFVSNTPbgzfNn0nYn5tEn1cX6WrdetDlQM4xWw,83
acl2_kernel-0.3.0.dist-info/METADATA,sha256=o_mzULcpaY4OTA9B2hNH4IkLl7JbgN0Q5ex3ysWZXX8,3209
acl2_kernel-0.3.0.dist-info/RECORD,,
