dafny.exe — што гэта за праграма?
dafny.exe — выканальны файл праграмы dafny. Ён усталёўваецца разам з ёй і запускае яе з каманднага радка.
| Праграма | Распрацоўшчык | Апошняя версія | Звычайная папка ўстаноўкі |
|---|---|---|---|
| dafny | — | 4.11.0 | — |
Частыя пытанні
Ці бяспечны файл dafny.exe?
Калі dafny.exe ляжыць у папцы ўстаноўкі праграмы і мае лічбавы подпіс распрацоўшчыка, гэта звычайная частка dafny. Файл з такой самай назвай у іншай папцы можа аказацца чым заўгодна: праверце яго подпіс і хэш.
Дзе знаходзіцца dafny.exe?
У папцы праграмы, якую выбірае ўсталёўшчык; партатыўныя праграмы winget змяшчае ў %LOCALAPPDATA%\Microsoft\WinGet\Packages.
Як выдаліць dafny.exe?
Выдаліце dafny праз «Налады» → «Праграмы» (Settings → Apps) або з дапамогай winget — праграма выдалення прыбярэ і dafny.exe. Калі сцерці толькі сам файл, астатняя частка праграмы застанецца на дыску.