PyPI · pypi:dafnyruntimepython

DafnyRuntimePython aktif

Dafny runtime for Python

Versi stabil terbaru DafnyRuntimePython adalah 4.11.0, diterbitkan pada 2025-08-25. Diverifikasi oleh Vigia pada 2026-11-14.

Versi stabil terbaru	4.11.0
Diterbitkan	2025-08-25 20:54:30 UTC
Instal	`pip install --upgrade DafnyRuntimePython`
Membutuhkan	`python >=3.8`
Lisensi	—
Peringatan keamanan pada versi terbaru	tidak ada yang diketahui
Terakhir diverifikasi	2026-11-14 09:35:52 UTC
Sumber	pypi.org

Pemeliharaan

Aktivitas	melambat
Versi stabil terakhir	2025-08-25 20:54:30 UTC · 445 hari lalu
Versi stabil dalam 12 bulan terakhir	0
Versi yang diterbitkan	11

Perkiraan yang hanya didasarkan pada tanggal terbit; tidak mengukur waktu tanggapan terhadap issue atau masalah keamanan.

Riwayat versi

Versi	Diterbitkan
`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

Menampilkan 11 versi terbaru dari 11 versi. JSON

Kompatibilitas versi

Versi stabil terbaru yang menyatakan mendukung setiap versi runtime (berdasarkan persyaratan yang diterbitkan bersama setiap versi).

Runtime	Versi kompatibel terbaru
`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`

Berikan fakta ini ke agen AI Anda

Vigia adalah server MCP gratis: agen coding Anda memeriksa versi, perubahan yang merusak kompatibilitas, dan kerentanan sebelum menulis kode. Tanpa pendaftaran, tanpa kunci API.

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

Tambahkan ke Cursor Tambahkan ke VS Code ★ Bintang di GitHub

Klien MCP lainnya

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

Skill agen (SKILL.md): memberi tahu agen kapan memakai Vigia · GitHub Action untuk pull request

Pertanyaan umum

Apa versi terbaru DafnyRuntimePython?

Versi stabil terbaru DafnyRuntimePython adalah 4.11.0, diterbitkan pada 2025-08-25. Diverifikasi oleh Vigia pada 2026-11-14.

Bagaimana cara menginstal versi terbaru DafnyRuntimePython?

Jalankan pip install --upgrade DafnyRuntimePython. Versi stabil terbaru adalah 4.11.0 (diverifikasi 2026-11-14).

Apakah DafnyRuntimePython sudah usang?

Tidak. DafnyRuntimePython tidak ditandai sebagai usang di registri.

Versi Python berapa yang dibutuhkan DafnyRuntimePython?

DafnyRuntimePython 4.11.0 menyatakan kebutuhan ini: python >=3.8.

Apakah DafnyRuntimePython 4.11.0 memiliki kerentanan yang diketahui?

Tidak ada peringatan keamanan yang diketahui untuk DafnyRuntimePython 4.11.0 menurut data yang diperiksa Vigia.

Apakah DafnyRuntimePython masih dikelola?

DafnyRuntimePython menerbitkan 0 versi stabil dalam 12 bulan terakhir; yang terbaru 445 hari lalu. Aktivitas: melambat.

Perubahan yang teramati

Belum ada perubahan yang teramati sejak Vigia mulai memantau paket ini.

Paket terkait

Lencana untuk README Anda

Tampilkan versi terbaru, status pemeliharaan, dan status usang paket ini. Salin 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)

Untuk agen

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