https://pypi.org/project/py-tree-sitter-spthy/ Recent updates to the Python Package Index for py-tree-sitter-spthy en https://pypi.org/project/py-tree-sitter-spthy/1.2.2/ Tree-sitter parser for Spthy language (Tamarin Prover) luca.mandrelli@icloud.com Tue, 28 Oct 2025 11:46:09 GMT https://pypi.org/project/py-tree-sitter-spthy/1.2.1/ Tree-sitter parser for Spthy language (Tamarin Prover) luca.mandrelli@icloud.com Wed, 30 Jul 2025 09:33:39 GMT https://pypi.org/project/py-tree-sitter-spthy/1.2.0/ Tree-sitter parser for Spthy language luca.mandrelli@icloud.com Thu, 03 Jul 2025 12:06:39 GMT https://pypi.org/project/py-tree-sitter-spthy/1.1.2/ Tree-sitter parser for Spthy language luca.mandrelli@icloud.com Wed, 02 Jul 2025 08:44:58 GMT https://pypi.org/project/py-tree-sitter-spthy/1.1.1/ Tree-sitter parser for Spthy language luca.mandrelli@icloud.com Tue, 01 Jul 2025 12:05:43 GMT