PyPI recent updates for metamath2sqlite https://pypi.org/project/metamath2sqlite/ Recent updates to the Python Package Index for metamath2sqlite en 1.0.4 https://pypi.org/project/metamath2sqlite/1.0.4/ Convert Metamath databases to SQLite hi@colima.press Fri, 04 Sep 2026 04:43:04 GMT