PyPI · pypi:dafnyruntimepython

DafnyRuntimePython attivo

Dafny runtime for Python

L’ultima versione stabile di DafnyRuntimePython è la 4.11.0, pubblicata il 2025-08-25. Verificato da Vigia il 2026-11-14.

Ultima versione stabile	4.11.0
Pubblicata	2025-08-25 20:54:30 UTC
Installa	`pip install --upgrade DafnyRuntimePython`
Richiede	`python >=3.8`
Licenza	—
Avvisi di sicurezza sull’ultima versione	nessuno noto
Ultima verifica	2026-11-14 09:35:52 UTC
Fonti	pypi.org

Manutenzione

Attività	in rallentamento
Ultima versione stabile	2025-08-25 20:54:30 UTC · 445 giorni fa
Versioni stabili negli ultimi 12 mesi	0
Versioni pubblicate	11

Euristica basata solo sulle date di pubblicazione; non misura i tempi di risposta alle issue né ai problemi di sicurezza.

Cronologia delle versioni

Versione	Pubblicata
`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

Sono mostrate le 11 più recenti su 11 versioni. JSON

Compatibilità delle versioni

Versione stabile più recente che dichiara il supporto per ciascuna versione dell’ambiente (secondo i requisiti pubblicati con ogni versione).

Ambiente	Versione compatibile più recente
`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`

Dai questi dati al tuo agente IA

Vigia è un server MCP gratuito: il tuo agente di programmazione verifica versioni, modifiche incompatibili e vulnerabilità prima di scrivere codice. Senza registrazione né chiave API.

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

Aggiungi a Cursor Aggiungi a VS Code ★ Stella su GitHub

Qualsiasi altro client MCP

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

Skill per agenti (SKILL.md): dice all'agente quando usare Vigia · GitHub Action per le pull request

Domande frequenti

Qual è l’ultima versione di DafnyRuntimePython?

L’ultima versione stabile di DafnyRuntimePython è la 4.11.0, pubblicata il 2025-08-25. Verificato da Vigia il 2026-11-14.

Come installo l'ultima versione di DafnyRuntimePython?

Esegui pip install --upgrade DafnyRuntimePython. L'ultima versione stabile è 4.11.0 (verificato il 2026-11-14).

DafnyRuntimePython è deprecato?

No. DafnyRuntimePython non è indicato come deprecato nel registro.

Quale versione di Python richiede DafnyRuntimePython?

DafnyRuntimePython 4.11.0 dichiara questo requisito: python >=3.8.

DafnyRuntimePython 4.11.0 ha vulnerabilità note?

Nessun avviso di sicurezza noto riguarda DafnyRuntimePython 4.11.0 secondo i dati consultati da Vigia.

DafnyRuntimePython è ancora mantenuto?

DafnyRuntimePython ha pubblicato 0 versioni stabili negli ultimi 12 mesi; la più recente 445 giorni fa. Attività: in rallentamento.

Modifiche osservate

Nessuna modifica osservata da quando Vigia monitora questo pacchetto.

Pacchetti correlati

Badge per il tuo README

Mostra l’ultima versione, lo stato di manutenzione e l’eventuale deprecazione di questo pacchetto. Copia il 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)

Per gli agenti

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