macOS
Homebrew
vérifié · 100%
brew install dafny
local Homebrew formula metadata
Renseignements sur le paquet brew
Installer dafny
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de dafny pour les workflows d'agents IA.
installation
Installer avec Automic Vault
Automic Vault
sudo av install brew:dafnyLinux
Nix
vérifié · 92%
nix profile install nixpkgs#dafny
nixpkgs package indexes · pkgs/by-name/da/dafny/package.nix · source: api.github.com
Ubuntu apt
vérifié · 92%
sudo apt install dafny
Ubuntu 24.04 LTS package indexes · dafny · source: archive.ubuntu.com
Windows
Scoop
vérifié · 92%
scoop install main/dafny
Scoop official bucket manifest trees · bucket/dafny.json · source: api.github.com
Source du gestionnaire de paquets
Notes de plateforme
- Aucune note de plateforme propre au paquet n'était présente.
aperçu
Résumé du paquet
Automic Vault publie les chemins d'installation, les faits d'exécutables et les métadonnées de sécurité propres à dafny depuis les données locales de paquets.
Page d'accueil
Commandes et alias
- dafny
Résumé source
Verification-aware programming language
posture de sécurité
Niveau de risque : yellow
generalized runtime or code generation signal.
Classificateur de risque
yellow risque · medium confiance · runtime
Pourquoi
- generalized runtime or code generation signal
Signaux
- text:programming language
Comportement d'installation
- Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
- Les métadonnées de bottle Homebrew sont disponibles pour 7 plateformes.
- S’installe avec 2 dépendances d’exécution.
- Les métadonnées de compilation listent 2 dépendances de compilation.
Revue recommandée
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
exécutables
Exécutables installés
| Commande | Type | Exposition | Note |
|---|---|---|---|
dafny | cli | global executable |
fraîcheur
Version et fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
page générée2026-05-26
version du gestionnaire4.11.0
gestionnaire mis à jour2026-05-19
données localesok
amontcurrent
dernière version détectéev4.11.0
https://github.com/dafny-lang/dafny
- okAucun avertissement de fraîcheur n'a été généré.
métadonnées d'installation
Métadonnées du paquet
| Clé du paquet | brew:dafny |
|---|---|
| Version | 4.11.0 |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/dafny |
| Page d'accueil | https://github.com/dafny-lang/dafny/blob/master/README.md |
| Dépôt | https://github.com/dafny-lang/dafny |
| Docs amont | https://github.com/dafny-lang/dafny/blob/master/README.md |
| Licence | MIT |
| Archive source | https://github.com/dafny-lang/dafny/archive/refs/tags/v4.11.0.tar.gz |
| Mis à jour | 2026-05-19T13:34:00-04:00 |
| Pulse | updated |
| Dépendances | dotnet@8, z3 |
| Dépendances de compilation | gradle@8, openjdk |
| Bouteille | disponible (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, ventura, x86_64_linux) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
piste source
Généré depuis les données du dépôt
Cette page est écrite par scripts/generate-pkg-pages.py. Les déploiements refusent de publier si www/pkg/ est obsolète par rapport aux données locales de paquets.
Sources utilisées
- Geiger risk classifier
- Nucleus package database
- cross-ecosystem install command graph
- package relationship graph
- package version freshness
- package-page enrichment