PyPI recent updates for leanup https://pypi.org/project/leanup/ Recent updates to the Python Package Index for leanup en 0.2.3 https://pypi.org/project/leanup/0.2.3/ Python package for Lean Environment Management leanprover@outlook.com Tue, 14 Apr 2026 10:44:48 GMT 0.2.2 https://pypi.org/project/leanup/0.2.2/ Python package for Lean Environment Management leanprover@outlook.com Mon, 13 Apr 2026 21:23:16 GMT 0.2.1 https://pypi.org/project/leanup/0.2.1/ Python package for Lean Environment Management leanprover@outlook.com Tue, 07 Apr 2026 19:57:47 GMT 0.2.0 https://pypi.org/project/leanup/0.2.0/ Python package for Lean Environment Management leanprover@outlook.com Tue, 07 Apr 2026 17:28:34 GMT 0.1.9 https://pypi.org/project/leanup/0.1.9/ Python package for Lean Environment Management leanprover@outlook.com Fri, 19 Sep 2025 12:16:44 GMT 0.1.8 https://pypi.org/project/leanup/0.1.8/ Python package for Lean Environment Management leanprover@outlook.com Mon, 25 Aug 2025 19:16:02 GMT 0.1.7 https://pypi.org/project/leanup/0.1.7/ Python package for Lean Environment Management leanprover@outlook.com Tue, 12 Aug 2025 21:11:56 GMT 0.1.6 https://pypi.org/project/leanup/0.1.6/ Python package for Lean Environment Management leanprover@outlook.com Tue, 12 Aug 2025 19:54:02 GMT 0.1.5 https://pypi.org/project/leanup/0.1.5/ Python package for Lean Environment Management leanprover@outlook.com Tue, 12 Aug 2025 10:32:08 GMT 0.1.4 https://pypi.org/project/leanup/0.1.4/ Python package for Lean Environment Management leanprover@outlook.com Mon, 04 Aug 2025 21:22:48 GMT 0.1.3 https://pypi.org/project/leanup/0.1.3/ Python package for Lean Environment Management leanprover@outlook.com Mon, 04 Aug 2025 17:36:12 GMT 0.1.2 https://pypi.org/project/leanup/0.1.2/ Python package for Lean Environment Management leanprover@outlook.com Mon, 04 Aug 2025 16:58:25 GMT 0.1.1 https://pypi.org/project/leanup/0.1.1/ Python package for Lean Environment Management leanprover@outlook.com Mon, 04 Aug 2025 16:42:28 GMT 0.1.0 https://pypi.org/project/leanup/0.1.0/ Python package for Lean Environment Management leanprover@outlook.com Mon, 04 Aug 2025 02:56:00 GMT 0.0.4 https://pypi.org/project/leanup/0.0.4/ Python package for Lean Environment Management leanprover@outlook.com Sun, 27 Jul 2025 17:05:56 GMT 0.0.3 https://pypi.org/project/leanup/0.0.3/ Python package for Lean Environment Management leanprover@outlook.com Thu, 26 Jun 2025 19:39:23 GMT 0.0.2 https://pypi.org/project/leanup/0.0.2/ Python package for Lean Environment Management leanprover@outlook.com Thu, 26 Jun 2025 18:17:09 GMT 0.0.1 https://pypi.org/project/leanup/0.0.1/ Python package for Lean Environment Management 1073853456@qq.com Thu, 08 May 2025 16:55:30 GMT