Këtu janë renditur 1 version të dafny, nga deri te versioni aktual 4.11.0. Secili të çon te skedarët e instalimit të vetë botuesit.
| Versioni | Data | Madhësia | Skedarët |
|---|---|---|---|
| 4.11.0I fundit | — | 64-bit ZIP |
dafny: versionet e vjetra dhe historiku
A programming language with a program verifier
- LicencaMe burim të hapur
- Versioni4.11.0
- KërkonWindows 10, 11
Më të njohurat në „Menaxherë paketash dhe përditësues”
Shiko të gjitha-
ChocolateyMenaxherë paketash dhe përditësues · Chocolatey Software, Inc. -
NuGetMenaxherë paketash dhe përditësues · Microsoft Corporation -
uvMenaxherë paketash dhe përditësues · Astral Software Inc. -
Chocolatey GUIMenaxherë paketash dhe përditësues · Chocolatey -
Conan Package ManagerMenaxherë paketash dhe përditësues · JFrog -
UniGetUI (formerly WingetUI) - Pre-ReleaseMenaxherë paketash dhe përditësues · Martí Climent -
UniGetUIMenaxherë paketash dhe përditësues · Devolutions inc. -
topgradeMenaxherë paketash dhe përditësues · topgrade-rs - ghostscriptMenaxherë paketash dhe përditësues
-
rigMenaxherë paketash dhe përditësues · Posit Software, PBC