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

Евристика, що ґрунтується лише на датах публікації; не відображає швидкість реакції на issues та проблеми безпеки.

Історія версій

Версія	Опубліковано
`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 для pull request

Поширені запитання

Яка остання версія 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 відомі вразливості?

За даними, які перевіряє Vigia, відомих попереджень безпеки для DafnyRuntimePython 4.11.0 немає.

Чи підтримується DafnyRuntimePython?

За останні 12 місяців DafnyRuntimePython випустив 0 стабільних версій; останню — 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}