acl2_kernel/__init__.py,sha256=1puaeZdAeGosfgjVGvNZHsK1wZZBIDwhqRS6GZ2RyIk,67
acl2_kernel/__main__.py,sha256=U77Zla5P9dDaA4Ct6HO1-tR-2koc12ZyDd-PUDjwg9w,127
acl2_kernel/install.py,sha256=etgwCvp4BvYDkZ5jgEwfhFltM_qmck7MOeym6yTjsfE,1944
acl2_kernel/kernel.py,sha256=CNyrOXpo9Otgmzi9-3M-pq4ybq_SCng5iCpSiJS54iE,2623
acl2_kernel-0.1.0.dist-info/LICENSE.md,sha256=FGKGkUnKSQy85Pg5-HHQgvBfqSCluOk_90Y1swIAoos,4571
acl2_kernel-0.1.0.dist-info/WHEEL,sha256=G_NFpzHmv_dUXgCUSAWL0-bLL-eMzYU6DzDeGXbRXUk,83
acl2_kernel-0.1.0.dist-info/METADATA,sha256=_5YSMc887GYZZpNCFI1eFgiYDkirBHmdAESIXUf6tBw,618
acl2_kernel-0.1.0.dist-info/RECORD,,
