PyPI · pypi:dafnyruntimepython

DafnyRuntimePython etkin

Dafny runtime for Python

DafnyRuntimePython paketinin en son kararlı sürümü 4.11.0; yayımlanma tarihi 2025-08-25. Vigia tarafından 2026-11-14 tarihinde doğrulandı.

En son kararlı sürüm	4.11.0
Yayımlanma	2025-08-25 20:54:30 UTC
Kurulum	`pip install --upgrade DafnyRuntimePython`
Gerektirir	`python >=3.8`
Lisans	—
En son sürüme ait güvenlik bildirimleri	bilinen yok
Son doğrulama	2026-11-14 09:35:52 UTC
Kaynaklar	pypi.org

Bakım

Etkinlik	yavaşlıyor
Son kararlı sürüm	2025-08-25 20:54:30 UTC · 445 gün önce
Son 12 aydaki kararlı sürümler	0
Yayımlanan sürümler	11

Yalnızca yayımlanma tarihlerine dayanan bir sezgisel ölçüm; issue’lara veya güvenlik sorunlarına yanıt sürelerini ölçmez.

Sürüm geçmişi

Sürüm	Yayımlanma
`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 sürümün en yeni 11 tanesi gösteriliyor. JSON

Sürüm uyumluluğu

Her çalışma ortamı sürümünü desteklediğini belirten en yeni kararlı sürüm (her sürümle yayımlanan gereksinimlere göre).

Ortam	En yeni uyumlu sürüm
`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`

Bu verileri yapay zekâ ajanınıza verin

Vigia ücretsiz bir MCP sunucusudur: kodlama ajanınız kod yazmadan önce sürümleri, uyumsuz değişiklikleri ve güvenlik açıklarını kontrol eder. Kayıt ve API anahtarı gerekmez.

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

Cursor'a ekle VS Code'a ekle ★ GitHub'da yıldız ver

Diğer tüm MCP istemcileri

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

Ajan becerisi (SKILL.md): ajana Vigia'yı ne zaman kullanacağını söyler · Pull request için GitHub Action

Sık sorulan sorular

DafnyRuntimePython paketinin en son sürümü nedir?

DafnyRuntimePython paketinin en son kararlı sürümü 4.11.0; yayımlanma tarihi 2025-08-25. Vigia tarafından 2026-11-14 tarihinde doğrulandı.

DafnyRuntimePython paketinin en son sürümünü nasıl kurarım?

pip install --upgrade DafnyRuntimePython komutunu çalıştırın. En son kararlı sürüm 4.11.0 (2026-11-14 tarihinde doğrulandı).

DafnyRuntimePython kullanımdan kaldırıldı mı?

Hayır. DafnyRuntimePython kayıt defterinde kullanımdan kaldırılmış olarak işaretli değil.

DafnyRuntimePython hangi Python sürümünü gerektiriyor?

DafnyRuntimePython 4.11.0 şu gereksinimi belirtiyor: python >=3.8.

DafnyRuntimePython 4.11.0 sürümünde bilinen güvenlik açıkları var mı?

Vigia’nın kontrol ettiği verilere göre DafnyRuntimePython 4.11.0 sürümünü etkileyen bilinen bir güvenlik bildirimi yok.

DafnyRuntimePython hâlâ bakımı yapılıyor mu?

DafnyRuntimePython son 12 ayda 0 kararlı sürüm yayımladı; en sonuncusu 445 gün önce. Etkinlik: yavaşlıyor.

Gözlenen değişiklikler

Vigia bu paketi izlemeye başladığından beri henüz değişiklik gözlenmedi.

İlgili paketler

README için rozetler

Bu paketin en son sürümünü, bakım durumunu ve kullanımdan kaldırılıp kaldırılmadığını gösterin. Markdown’ı kopyalayın:

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

Ajanlar için

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