እዚህ 1 የdafny ስሪቶች ተዘርዝረዋል፤ ከ እስከ አሁኑ 4.11.0 ድረስ። እያንዳንዱ ወደ አሳታሚው የራሱ የመጫኛ ፋይሎች ያገናኛል።
| ስሪት | ቀን | መጠን | ፋይሎች |
|---|---|---|---|
| 4.11.0የቅርብ ጊዜ ስሪት | — | 64-bit ZIP |
dafny፦ ሁሉም ስሪቶች እና የቆዩ ስሪቶች
A programming language with a program verifier
- ፈቃድክፍት ምንጭ
- ስሪት4.11.0
- የሚያስፈልገውWindows 10, 11
በየጥቅል አስተዳዳሪዎች እና ማዘመኛዎች ውስጥ በጣም ታዋቂ
ሁሉንም ይመልከቱ-
Chocolateyየጥቅል አስተዳዳሪዎች እና ማዘመኛዎች · Chocolatey Software, Inc. -
NuGetየጥቅል አስተዳዳሪዎች እና ማዘመኛዎች · Microsoft Corporation -
uvየጥቅል አስተዳዳሪዎች እና ማዘመኛዎች · Astral Software Inc. -
Chocolatey GUIየጥቅል አስተዳዳሪዎች እና ማዘመኛዎች · Chocolatey -
Conan Package Managerየጥቅል አስተዳዳሪዎች እና ማዘመኛዎች · JFrog -
UniGetUI (formerly WingetUI) - Pre-Releaseየጥቅል አስተዳዳሪዎች እና ማዘመኛዎች · Martí Climent -
UniGetUIየጥቅል አስተዳዳሪዎች እና ማዘመኛዎች · Devolutions inc. -
topgradeየጥቅል አስተዳዳሪዎች እና ማዘመኛዎች · topgrade-rs - ghostscriptየጥቅል አስተዳዳሪዎች እና ማዘመኛዎች
-
rigየጥቅል አስተዳዳሪዎች እና ማዘመኛዎች · Posit Software, PBC