PyPI · pypi:dafnyruntimepython

DafnyRuntimePython aktywny

Dafny runtime for Python

Najnowsza stabilna wersja DafnyRuntimePython to 4.11.0, opublikowana 2025-08-25. Zweryfikowano przez Vigia 2026-11-14.

Najnowsza stabilna wersja	4.11.0
Opublikowano	2025-08-25 20:54:30 UTC
Instalacja	`pip install --upgrade DafnyRuntimePython`
Wymaga	`python >=3.8`
Licencja	—
Ostrzeżenia bezpieczeństwa dla najnowszej wersji	brak znanych
Ostatnia weryfikacja	2026-11-14 09:35:52 UTC
Źródła	pypi.org

Utrzymanie

Aktywność	zwalnia
Ostatnia stabilna wersja	2025-08-25 20:54:30 UTC · 445 dni temu
Stabilne wersje w ciągu ostatnich 12 miesięcy	0
Opublikowane wersje	11

Heurystyka oparta wyłącznie na datach publikacji; nie mierzy czasu reakcji na zgłoszenia ani problemy bezpieczeństwa.

Historia wersji

Wersja	Opublikowano
`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

Wyświetlono 11 najnowszych z 11 wersji. JSON

Zgodność wersji

Najnowsza stabilna wersja deklarująca obsługę danej wersji środowiska (według wymagań publikowanych z każdą wersją).

Środowisko	Najnowsza zgodna wersja
`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`

Przekaż te dane swojemu agentowi AI

Vigia to darmowy serwer MCP: Twój agent programistyczny sprawdza wersje, zmiany łamiące zgodność i podatności, zanim napisze kod. Bez rejestracji i klucza API.

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

Dodaj do Cursor Dodaj do VS Code ★ Gwiazdka na GitHubie

Dowolny inny klient MCP

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

Skill dla agentów (SKILL.md): mówi agentowi, kiedy używać Vigii · GitHub Action dla pull requestów

Najczęściej zadawane pytania

Jaka jest najnowsza wersja DafnyRuntimePython?

Najnowsza stabilna wersja DafnyRuntimePython to 4.11.0, opublikowana 2025-08-25. Zweryfikowano przez Vigia 2026-11-14.

Jak zainstalować najnowszą wersję DafnyRuntimePython?

Uruchom pip install --upgrade DafnyRuntimePython. Najnowsza stabilna wersja to 4.11.0 (sprawdzono 2026-11-14).

Czy DafnyRuntimePython jest wycofany?

Nie. DafnyRuntimePython nie jest oznaczony w rejestrze jako wycofany.

Jakiej wersji Python wymaga DafnyRuntimePython?

DafnyRuntimePython 4.11.0 deklaruje to wymaganie: python >=3.8.

Czy DafnyRuntimePython 4.11.0 ma znane podatności?

Według danych sprawdzanych przez Vigia żadne znane ostrzeżenia bezpieczeństwa nie dotyczą DafnyRuntimePython 4.11.0.

Czy DafnyRuntimePython jest nadal utrzymywany?

DafnyRuntimePython opublikował 0 stabilnych wersji w ciągu ostatnich 12 miesięcy; najnowszą 445 dni temu. Aktywność: zwalnia.

Zaobserwowane zmiany

Od kiedy Vigia śledzi ten pakiet, nie zaobserwowano jeszcze zmian.

Powiązane pakiety

Odznaki do README

Pokaż najnowszą wersję, stan utrzymania i informację o wycofaniu tego pakietu. Skopiuj 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)

Dla agentów

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