PyPI · pypi:dafnyruntimepython

DafnyRuntimePython actief

Dafny runtime for Python

De nieuwste stabiele versie van DafnyRuntimePython is 4.11.0, gepubliceerd op 2025-08-25. Geverifieerd door Vigia op 2026-11-14.

Nieuwste stabiele versie	4.11.0
Gepubliceerd	2025-08-25 20:54:30 UTC
Installeren	`pip install --upgrade DafnyRuntimePython`
Vereist	`python >=3.8`
Licentie	—
Beveiligingsadviezen voor de nieuwste versie	geen bekend
Laatst geverifieerd	2026-11-14 09:35:52 UTC
Bronnen	pypi.org

Onderhoud

Activiteit	vertragend
Laatste stabiele versie	2025-08-25 20:54:30 UTC · 445 dagen geleden
Stabiele versies in de afgelopen 12 maanden	0
Gepubliceerde versies	11

Heuristiek die alleen op publicatiedatums is gebaseerd; meet geen reactietijden op issues of beveiligingsproblemen.

Versiegeschiedenis

Versie	Gepubliceerd
`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

De 11 meest recente van 11 versies worden getoond. JSON

Versiecompatibiliteit

Nieuwste stabiele versie die ondersteuning aangeeft voor elke runtimeversie (volgens de vereisten die met elke versie zijn gepubliceerd).

Runtime	Nieuwste compatibele versie
`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`

Geef je AI-agent deze feiten

Vigia is een gratis MCP-server: je coding-agent controleert versies, breaking changes en kwetsbaarheden voordat hij code schrijft. Geen account, geen API-sleutel.

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

Toevoegen aan Cursor Toevoegen aan VS Code ★ Ster op GitHub

Elke andere MCP-client

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

Agent-skill (SKILL.md): vertelt de agent wanneer hij Vigia moet gebruiken · GitHub Action voor pull requests

Veelgestelde vragen

Wat is de nieuwste versie van DafnyRuntimePython?

De nieuwste stabiele versie van DafnyRuntimePython is 4.11.0, gepubliceerd op 2025-08-25. Geverifieerd door Vigia op 2026-11-14.

Hoe installeer ik de nieuwste versie van DafnyRuntimePython?

Voer pip install --upgrade DafnyRuntimePython uit. De nieuwste stabiele versie is 4.11.0 (gecontroleerd op 2026-11-14).

Is DafnyRuntimePython verouderd?

Nee. DafnyRuntimePython is in het register niet als verouderd gemarkeerd.

Welke Python-versie vereist DafnyRuntimePython?

DafnyRuntimePython 4.11.0 geeft deze vereiste op: python >=3.8.

Heeft DafnyRuntimePython 4.11.0 bekende kwetsbaarheden?

Volgens de gegevens die Vigia controleert, gelden er geen bekende beveiligingsadviezen voor DafnyRuntimePython 4.11.0.

Wordt DafnyRuntimePython nog onderhouden?

DafnyRuntimePython publiceerde de afgelopen 12 maanden 0 stabiele versies; de meest recente 445 dagen geleden. Activiteit: vertragend.

Waargenomen wijzigingen

Nog geen wijzigingen waargenomen sinds Vigia dit pakket volgt.

Gerelateerde pakketten

Badges voor je README

Toon de nieuwste versie, de onderhoudsstatus en of dit pakket verouderd is. Kopieer de 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)

Voor agents

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