sage/all__sagemath_kissat.py,sha256=QmztvVXR-RkIaTRxF9H6VfK2MevkzOdy_LLfi2t_1Yk,88
sage/libs/all__sagemath_kissat.py,sha256=uHL2QhjQUTkNtAtaBgkPoLs62E9qhmnX1aNz-rv8pJs,45
sage/libs/kissat.cpython-312-aarch64-linux-gnu.so,sha256=lWSrDhDuxse7FIvaXNC2WlRPHP8n1adTdquEZsvqLZE,257248
sage_wheels/bin/kissat,sha256=fz0S3JT5RdD4FivMy1XEzKOK2ZjtRQyrxDktCKBzJBs,637592
passagemath_kissat-10.6.1rc2.dist-info/METADATA,sha256=egLs5d5QD7uxck4dABoMujIhhwkTnBM5rf2WDUaY9sM,4976
passagemath_kissat-10.6.1rc2.dist-info/WHEEL,sha256=8dLfIaEdZhvKMcxjctjlRF9OMhsXJ-Ot8dAcG4hIc8U,193
passagemath_kissat-10.6.1rc2.dist-info/top_level.txt,sha256=hibFyzQHiLOMK68qL1OWsNKaXOmSXqZjeLTBem6Yy7I,5
passagemath_kissat-10.6.1rc2.dist-info/RECORD,,
