インストール

Automic Vault でインストール

Automic Vault

AV をダウンロード

sudo av install brew:dafny

macOS

Homebrew 確認済み · 100%

brew install dafny

local Homebrew formula metadata

Linux

Nix 確認済み · 92%

nix profile install nixpkgs#dafny

nixpkgs package indexes · pkgs/by-name/da/dafny/package.nix · ソース: api.github.com

Ubuntu apt 確認済み · 92%

sudo apt install dafny

Ubuntu 24.04 LTS package indexes · dafny · ソース: archive.ubuntu.com

Windows

Scoop 確認済み · 92%

scoop install main/dafny

Scoop official bucket manifest trees · bucket/dafny.json · ソース: api.github.com

パッケージマネージャソース

https://formulae.brew.sh/formula/dafny

プラットフォームノート

パッケージ固有のプラットフォームノートはありません。

概要

パッケージ概要

Automic Vault は、dafny のパッケージ固有のインストール経路、実行可能ファイル情報、セキュリティメタデータをローカルパッケージデータから公開します。

ホームページ

https://github.com/dafny-lang/dafny/blob/master/README.md

コマンドとエイリアス

dafny

ソース概要

Verification-aware programming language

セキュリティ状態

リスクレベル: yellow

generalized runtime or code generation signal.

リスク分類器

yellow リスク · medium 信頼度 · runtime

理由

generalized runtime or code generation signal

信号

text:programming language

インストール挙動

No Homebrew post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 7 platform targets.
2 件の実行時依存関係とともにインストールされます。
ビルドメタデータには 2 件のビルド依存関係があります。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド	種類	公開範囲	メモ
`dafny`	cli	global executable

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-05-26

マネージャ版4.11.0

マネージャ更新日2026-05-19

ローカルデータok

上流current

検出された最新v4.11.0

https://github.com/dafny-lang/dafny

ok鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキー	brew:dafny
バージョン	4.11.0
パッケージマネージャ	Homebrew
パッケージマネージャページ	https://formulae.brew.sh/formula/dafny
ホームページ	https://github.com/dafny-lang/dafny/blob/master/README.md
リポジトリ	https://github.com/dafny-lang/dafny
上流ドキュメント	https://github.com/dafny-lang/dafny/blob/master/README.md
ライセンス	MIT
ソースアーカイブ	https://github.com/dafny-lang/dafny/archive/refs/tags/v4.11.0.tar.gz
更新	2026-05-19T13:34:00-04:00
Pulse	updated
依存関係	dotnet@8, z3
ビルド依存関係	gradle@8, openjdk
Bottle	利用可能 (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, ventura, x86_64_linux)
Homebrew post-install	未定義
サービス	宣言なし

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-pages.py によって書かれます。www/pkg/ がローカルパッケージデータに対して古い場合、デプロイは公開を拒否します。

使用ソース

Geiger risk classifier
Nucleus package database
cross-ecosystem install command graph
package relationship graph
package version freshness
package-page enrichment

dafny をインストール