येथे dafny च्या १ आवृत्ती आहेत, पासून सध्याच्या 4.11.0 पर्यंत. प्रत्येक आवृत्तीची लिंक प्रकाशकाच्या स्वतःच्या इन्स्टॉलर फाइल्सकडे जाते.
| आवृत्ती | तारीख | आकार | फाइल्स |
|---|---|---|---|
| 4.11.0नवीनतम | — | 64-बिट 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