PyPI · pypi:dafnyruntimepython

DafnyRuntimePython نشطة

Dafny runtime for Python

أحدث إصدار مستقر من DafnyRuntimePython هو 4.11.0، نُشر في 2025-08-25. تحقّق منه Vigia في 2026-11-14.

أحدث إصدار مستقر	4.11.0
تاريخ النشر	2025-08-25 20:54:30 UTC
التثبيت	`pip install --upgrade DafnyRuntimePython`
تتطلب	`python >=3.8`
الترخيص	—
التنبيهات الأمنية لأحدث إصدار	لا يوجد ما هو معروف
آخر تحقق	2026-11-14 09:35:52 UTC
المصادر	pypi.org

الصيانة

النشاط	متباطئة
آخر إصدار مستقر	2025-08-25 20:54:30 UTC · قبل 445 يومًا
الإصدارات المستقرة خلال آخر 12 شهرًا	0
الإصدارات المنشورة	11

تقدير تقريبي يعتمد على تواريخ النشر فقط؛ ولا يقيس سرعة الاستجابة للمشكلات أو للثغرات الأمنية.

سجل الإصدارات

الإصدار	تاريخ النشر
`4.11.0`	2025-08-25 20:54:30 UTC
`4.10.0`	2025-02-06 15:15:26 UTC
`4.9.1`	2024-12-23 21:42:22 UTC
`4.9.0`	2024-10-31 17:43:30 UTC
`4.8.1.post1`	2024-10-04 16:21:35 UTC
`4.8.1`	2024-10-04 14:20:53 UTC
`4.8.0`	2024-09-05 22:16:25 UTC
`4.7.0`	2024-07-31 18:50:03 UTC
`4.6.0`	2024-03-28 22:40:24 UTC
`4.5.0`	2024-03-19 21:17:32 UTC
`4.4.0`	2024-01-24 21:14:43 UTC

يُعرض أحدث 11 من أصل 11 إصدارًا. JSON

توافق الإصدارات

أحدث إصدار مستقر يعلن دعمه لكل إصدار من بيئة التشغيل (وفق المتطلبات المنشورة مع كل إصدار).

بيئة التشغيل	أحدث إصدار متوافق
`python 3.8`	`4.11.0`
`python 3.9`	`4.11.0`
`python 3.10`	`4.11.0`
`python 3.11`	`4.11.0`
`python 3.12`	`4.11.0`
`python 3.13`	`4.11.0`

زوّد وكيل الذكاء الاصطناعي بهذه البيانات

Vigia خادم MCP مجاني: يتحقق وكيل البرمجة لديك من الإصدارات والتغييرات غير المتوافقة والثغرات قبل أن يكتب الشيفرة. بلا تسجيل ولا مفتاح API.

claude mcp add --transport http vigia https://vigia.coredls.cloud/mcp

أضِف إلى Cursor أضِف إلى VS Code ★ نجمة على GitHub

أي عميل MCP آخر

{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

مهارة للوكلاء (SKILL.md): تخبر الوكيل متى يستخدم Vigia · GitHub Action لطلبات السحب

الأسئلة الشائعة

ما أحدث إصدار من DafnyRuntimePython؟

أحدث إصدار مستقر من DafnyRuntimePython هو 4.11.0، نُشر في 2025-08-25. تحقّق منه Vigia في 2026-11-14.

كيف أثبّت أحدث إصدار من DafnyRuntimePython؟

نفّذ pip install --upgrade DafnyRuntimePython. أحدث إصدار مستقر هو 4.11.0 (تم التحقق في 2026-11-14).

هل DafnyRuntimePython موقوفة؟

لا. لم تُصنَّف DafnyRuntimePython على أنها موقوفة في السجل.

ما إصدار Python الذي تتطلبه DafnyRuntimePython؟

يحدّد DafnyRuntimePython 4.11.0 هذا المتطلب: python >=3.8.

هل توجد ثغرات معروفة في DafnyRuntimePython 4.11.0؟

لا توجد تنبيهات أمنية معروفة تؤثر في DafnyRuntimePython 4.11.0 وفقًا للبيانات التي يتحقق منها Vigia.

هل ما زالت DafnyRuntimePython تحظى بالصيانة؟

نشرت DafnyRuntimePython ‏0 إصدارات مستقرة خلال آخر 12 شهرًا؛ وكان أحدثها قبل 445 يومًا. النشاط: متباطئة.

التغييرات المرصودة

لم تُرصد أي تغييرات منذ بدأ Vigia متابعة هذه الحزمة.

حزم ذات صلة

شارات لملف README

اعرض أحدث إصدار وحالة الصيانة وما إذا كانت هذه الحزمة موقوفة. انسخ صيغة Markdown:

[![version](https://vigia.coredls.cloud/badge/pypi/dafnyruntimepython/version.svg)](https://vigia.coredls.cloud/pypi/dafnyruntimepython)
[![maintained](https://vigia.coredls.cloud/badge/pypi/dafnyruntimepython/maintained.svg)](https://vigia.coredls.cloud/pypi/dafnyruntimepython)
[![status](https://vigia.coredls.cloud/badge/pypi/dafnyruntimepython/status.svg)](https://vigia.coredls.cloud/pypi/dafnyruntimepython)

للوكلاء

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