PyPI · pypi:dafnyruntimepython

DafnyRuntimePython aktiv

Dafny runtime for Python

Die neueste stabile Version von DafnyRuntimePython ist 4.11.0, veröffentlicht am 2025-08-25. Von Vigia geprüft am 2026-11-14.

Neueste stabile Version	4.11.0
Veröffentlicht	2025-08-25 20:54:30 UTC
Installieren	`pip install --upgrade DafnyRuntimePython`
Erfordert	`python >=3.8`
Lizenz	—
Sicherheitshinweise zur neuesten Version	keine bekannt
Zuletzt geprüft	2026-11-14 09:35:52 UTC
Quellen	pypi.org

Pflege

Aktivität	nachlassend
Letzte stabile Version	2025-08-25 20:54:30 UTC · vor 445 Tagen
Stabile Versionen in den letzten 12 Monaten	0
Veröffentlichte Versionen	11

Heuristik, die nur auf Veröffentlichungsdaten beruht; sie misst keine Reaktionszeiten auf Issues oder Sicherheitsprobleme.

Versionsverlauf

Version	Veröffentlicht
`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

Die 11 neuesten von 11 Versionen werden angezeigt. JSON

Versionskompatibilität

Neueste stabile Version, die Unterstützung für die jeweilige Laufzeitversion angibt (laut den mit jeder Version veröffentlichten Anforderungen).

Laufzeit	Neueste kompatible Version
`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`

Gib deinem KI-Agenten diese Fakten

Vigia ist ein kostenloser MCP-Server: Dein Coding-Agent prüft Versionen, Breaking Changes und Sicherheitslücken, bevor er Code schreibt. Ohne Anmeldung, ohne API-Schlüssel.

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

Zu Cursor hinzufügen Zu VS Code hinzufügen ★ Stern auf GitHub

Jeder andere MCP-Client

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

Agent-Skill (SKILL.md): sagt dem Agenten, wann er Vigia nutzen soll · GitHub Action für Pull Requests

Häufige Fragen

Was ist die neueste Version von DafnyRuntimePython?

Die neueste stabile Version von DafnyRuntimePython ist 4.11.0, veröffentlicht am 2025-08-25. Von Vigia geprüft am 2026-11-14.

Wie installiere ich die neueste Version von DafnyRuntimePython?

Führe pip install --upgrade DafnyRuntimePython aus. Die neueste stabile Version ist 4.11.0 (geprüft am 2026-11-14).

Ist DafnyRuntimePython veraltet?

Nein. DafnyRuntimePython ist in der Registry nicht als veraltet gekennzeichnet.

Welche Python-Version benötigt DafnyRuntimePython?

DafnyRuntimePython 4.11.0 gibt diese Anforderung an: python >=3.8.

Hat DafnyRuntimePython 4.11.0 bekannte Sicherheitslücken?

Laut den von Vigia geprüften Daten betreffen keine bekannten Sicherheitshinweise DafnyRuntimePython 4.11.0.

Wird DafnyRuntimePython noch gepflegt?

DafnyRuntimePython hat in den letzten 12 Monaten 0 stabile Versionen veröffentlicht; die neueste vor 445 Tagen. Aktivität: nachlassend.

Beobachtete Änderungen

Seit Vigia dieses Paket beobachtet, wurden noch keine Änderungen festgestellt.

Badges für Ihre README

Zeigen Sie die neueste Version, den Pflegestatus und den Deprecation-Status dieses Pakets. Markdown kopieren:

[![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)

Für Agenten

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