# dafny installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für dafny in AI-Agent-Workflows.

## Installation

```sh
sudo av install brew:dafny
```

Weitere Installationsbefehle:

### macOS

- Homebrew (100%):

```sh
brew install dafny
```

  Evidenz: local Homebrew formula metadata

### Linux

- Nix (92%):

```sh
nix profile install nixpkgs#dafny
```

  Evidenz: nixpkgs package indexes: pkgs/by-name/da/dafny/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

- Ubuntu apt (92%):

```sh
sudo apt install dafny
```

  Evidenz: Ubuntu 24.04 LTS package indexes: dafny from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

### Windows

- Scoop (92%):

```sh
scoop install main/dafny
```

  Evidenz: Scoop official bucket manifest trees: bucket/dafny.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1

## Paketfakten

- **Paketschlüssel:** brew:dafny
- **Paketmanager:** Homebrew
- **Paketmanager-Seite:** <https://formulae.brew.sh/formula/dafny>
- **Version:** 4.11.0
- **Quellzusammenfassung:** Verification-aware programming language
- **Homepage:** <https://github.com/dafny-lang/dafny/blob/master/README.md>
- **Repository:** <https://github.com/dafny-lang/dafny>
- **Upstream-Dokumentation:** <https://github.com/dafny-lang/dafny/blob/master/README.md>
- **Lizenz:** MIT
- **Quellarchiv:** <https://github.com/dafny-lang/dafny/archive/refs/tags/v4.11.0.tar.gz>
- **Aktualisiert:** 2026-05-19T13:34:00-04:00
- **Generierte Quelle:** 2026-05-26T22:45:13+00:00

## Executables

- dafny (cli)
- dafny (Alias)

## Abhängigkeiten

- dotnet@8
- z3

## Build-Abhängigkeiten

- gradle@8
- openjdk

## Installationsverhalten

- Post-install-Hook: nicht definiert
- Bottle: verfügbar auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, ventura, x86_64_linux

## Aktualität

- Seite generiert: 2026-05-26
- Manager-Version: 4.11.0
- Manager aktualisiert: 2026-05-19
- lokale Daten: ok
- Upstream-Repository: https://github.com/dafny-lang/dafny
- neueste erkannte Version: v4.11.0 (current)

## Sicherheitshinweise

generalized runtime or code generation signal.

- **Geiger-Risiko:** yellow / medium
- generalized runtime or code generation signal

## Verwandte Links

- [z3](https://www.automicvault.com/pkg/brew/z3/) - Runtime dependency declared by Homebrew.
- [dotnet@8](https://www.automicvault.com/pkg/brew/dotnet-8/) - Runtime dependency declared by Homebrew.
- [openjdk](https://www.automicvault.com/pkg/brew/openjdk/) - Build dependency declared by Homebrew.
- [gradle@8](https://www.automicvault.com/pkg/brew/gradle-8/) - Build dependency declared by Homebrew.
- [Secret-risk packages](https://www.automicvault.com/pkg/secret-risk-packages/)

## Quellen

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