# dafny mit Homebrew, Nix, apt, scoop 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:** - **Version:** 4.11.0 - **Quellzusammenfassung:** Verification-aware programming language - **Homepage:** - **Repository:** - **Upstream-Dokumentation:** - **Lizenz:** MIT - **Quellarchiv:** - **Zuletzt aktualisiert:** 2026-06-22T14:03:07-07:00 - **Generiert:** 2026-08-04T22:13:35+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, sonoma, ventura, x86_64_linux ## Version und Aktualität - Seite generiert: 2026-08-04 - Manager-Version: 4.11.0 - Manager aktualisiert: 2026-06-22 - lokale Daten: OK - Upstream-Repository: https://github.com/dafny-lang/dafny - neueste erkannte Version: v4.11.0 (aktuell) ## Projektgeschichte und Nutzung Dafny is a verification-aware programming language and toolchain. It occupies a special package-manager niche: a single CLI that lets developers write programs, specifications, and proofs together, then verify them and compile to mainstream languages. ### Projektgeschichte The official Dafny README describes Dafny as a verification-ready programming language whose verifier checks code against specifications while the developer writes. The public dafny-lang/dafny repository was created in 2016, and GitHub release metadata records Dafny 1.9.7 in June 2016. ### Adoptionsgeschichte Dafny has grown through language documentation, binary releases for common operating systems, a wiki and issue tracker, and editor-centered workflows such as Visual Studio Code installation. Its README also points to tutorials, reference material, a Zulip channel, and a standard library, which are typical signs of a specialist language moving from research use into practical developer workflows. ### Wie es verwendet wird Users write Dafny programs with specifications such as preconditions, postconditions, invariants, and proofs; the Dafny verifier checks them, and the compiler can emit C#, Go, Python, Java, or JavaScript. The reference manual is the authoritative source for the language and verification system. ### Warum Paket-Nerds sich dafür interessieren Dafny matters in package history because it packages formal methods as an installable developer tool rather than a one-off theorem-proving environment. It gives package managers a concrete artifact for a verification language, including CLI binaries, documentation, and cross-platform releases. ### Zeitleiste - 2016: Public dafny-lang/dafny GitHub repository is created. - 2016: Dafny 1.9.7 is published on GitHub releases. - 2017: Dafny 2.0.0 is published on GitHub releases. - 2025: Dafny 4.11.0 is published on GitHub releases. ### Related projects - The official README lists influences including Euclid, Eiffel, CLU, Java, C#, Scala, ML, Coq, and VeriFast, and points to Dafny libraries and editor integrations. ### Quellen - - - - ## Sicherheitshinweise generalized runtime or code generation signal. - **Geiger-Risiko:** yellow / mittel - generalized runtime or code generation signal ## Details aus der Quelldatenbank - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** dafny - **Version Scheme:** 0 - **Revision:** 0 - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** stable ## Andere Paketmanager-Einträge - Nix - dafny: normalized package name match | 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 - dafny - 2.3.0+dfsg-0.1: normalized package name match | Ubuntu 24.04 LTS package indexes: dafny from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | programming language with program correctness verifier | https://research.microsoft.com/en-us/projects/dafny/ - Scoop - main/dafny: normalized package name match | Scoop official bucket manifest trees: bucket/dafny.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1 ## Verwandte Links - [Source-control packages](https://pkg.so/de/source-control-tools/) - Belongs to a source-control command family. - [Secret-risk packages](https://pkg.so/de/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals. - [Terminal utility packages](https://pkg.so/de/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Text processing packages](https://pkg.so/de/text-processing-tools/) - Matched text, document, or structured-data processing metadata. - [z3](https://pkg.so/de/brew/z3/) - Runtime dependency declared by Homebrew. - [dotnet@8](https://pkg.so/de/brew/dotnet-8/) - Runtime dependency declared by Homebrew. - [openjdk](https://pkg.so/de/brew/openjdk/) - Build dependency declared by Homebrew. - [sby](https://pkg.so/de/brew/sby/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-methods, formal-verification. - [cbmc](https://pkg.so/de/brew/cbmc/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-verification, static-analysis. - [quint](https://pkg.so/de/brew/quint/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-methods. - [alive2](https://pkg.so/de/brew/alive2/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-methods. - [esbmc](https://pkg.so/de/brew/esbmc/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-verification, static-analysis. - [proof-general](https://pkg.so/de/brew/proof-general/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-methods. - [swiftlint](https://pkg.so/de/brew/swiftlint/) - Shares pkgdb curated category or tags: cli, developer-tools, static-analysis. - [shellcheck](https://pkg.so/de/brew/shellcheck/) - Shares pkgdb curated category or tags: cli, developer-tools, static-analysis. - [statix](https://pkg.so/de/brew/statix/) - Local package facts share a topical domain. Shared terms: analysis, cli, developer, developer-tools, language. - [cryptol](https://pkg.so/de/brew/cryptol/) - Local package facts share a topical domain. Shared terms: cli, developer, developer-tools, formal, formal-methods. ## Combined YAML source View the package source record on GitHub. [combined/dafny.yml](https://github.com/mxcl/pkgdb/blob/main/combined/dafny.yml) ## Quellen - pkg.so package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - pkgdb category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph