Vigia

PyPI · pypi:leanclient

leanclient सक्रिय

Interact with the Lean theorem prover language server

नवीनतम स्थिर संस्करण0.13.2
प्रकाशित2026-08-19 18:46:45 UTC
आवश्यकताpython >=3.10
लाइसेंसMIT
नवीनतम संस्करण पर सुरक्षा सूचनाएँकोई ज्ञात नहीं
अंतिम सत्यापन2026-09-28 19:22:26 UTC
स्रोतpypi.org

रखरखाव

गतिविधिसक्रिय
अंतिम स्थिर संस्करण2026-08-19 18:46:45 UTC · 40 दिन पहले
पिछले 12 महीनों में स्थिर संस्करण29
प्रकाशित संस्करण52

केवल प्रकाशन तिथियों पर आधारित अनुमान; यह issues या सुरक्षा समस्याओं पर प्रतिक्रिया का समय नहीं मापता।

संस्करण इतिहास

संस्करणप्रकाशित
0.13.22026-08-19 18:46:45 UTC
0.13.12026-08-19 13:07:20 UTC
0.13.02026-07-28 08:23:48 UTC
0.12.12026-07-17 09:43:42 UTC
0.12.02026-07-06 12:32:56 UTC
0.11.02026-06-09 14:52:15 UTC
0.10.02026-05-04 08:23:20 UTC
0.9.42026-03-17 09:49:22 UTC
0.9.32026-03-08 13:15:38 UTC
0.9.22026-01-12 18:19:34 UTC
0.9.12026-01-12 07:13:55 UTC
0.9.02026-01-09 11:15:28 UTC
0.8.02025-12-19 14:42:28 UTC
0.7.02025-12-17 23:03:07 UTC
0.6.22025-12-16 13:24:43 UTC
0.6.12025-12-03 07:50:08 UTC
0.6.02025-12-03 07:47:37 UTC
0.5.52025-11-20 02:27:58 UTC
0.5.42025-11-19 11:11:16 UTC
0.5.32025-11-16 09:37:33 UTC

42 संस्करणों में से सबसे नए 20 दिखाए जा रहे हैं। JSON

अक्सर पूछे जाने वाले प्रश्न

leanclient का नवीनतम संस्करण कौन-सा है?

leanclient का नवीनतम स्थिर संस्करण 0.13.2 है, जो 2026-08-19 को प्रकाशित हुआ। Vigia द्वारा 2026-09-28 को सत्यापित।

क्या leanclient डिप्रिकेटेड है?

नहीं। रजिस्ट्री में leanclient को डिप्रिकेटेड चिह्नित नहीं किया गया है।

leanclient को Python का कौन-सा संस्करण चाहिए?

leanclient 0.13.2 यह आवश्यकता घोषित करता है: python >=3.10।

क्या leanclient 0.13.2 में ज्ञात कमज़ोरियाँ हैं?

Vigia जिन आँकड़ों की जाँच करता है, उनके अनुसार leanclient 0.13.2 को कोई ज्ञात सुरक्षा सूचना प्रभावित नहीं करती।

क्या leanclient का अब भी रखरखाव हो रहा है?

leanclient ने पिछले 12 महीनों में 29 स्थिर संस्करण प्रकाशित किए; सबसे नया 40 दिन पहले। गतिविधि: सक्रिय।

देखे गए बदलाव

Vigia द्वारा इस पैकेज को ट्रैक करना शुरू करने के बाद से अभी तक कोई बदलाव नहीं देखा गया।

संबंधित पैकेज

एजेंटों के लिए

GET https://vigia.coredls.cloud/v1/packages/pypi/leanclient
GET https://vigia.coredls.cloud/v1/packages/pypi/leanclient/versions/{version}