macOS
Homebrew
verifiziert · 100%
brew install agda
local Homebrew formula metadata
brew-Paketinformationen
agda installieren
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für agda in AI-Agent-Workflows.
Installation
Mit Automic Vault installieren
Automic Vault
sudo av install brew:agdaLinux
Debian apt
verifiziert · 92%
sudo apt install agda
Debian stable package indexes · agda · Quelle: deb.debian.org
Fedora dnf
verifiziert · 92%
sudo dnf install Agda
Fedora Rawhide package metadata · Agda · Quelle: dl.fedoraproject.org
Nix
verifiziert · 92%
nix profile install nixpkgs#agda
nixpkgs package indexes · agda · Quelle: raw.githubusercontent.com
Arch Linux pacman
verifiziert · 92%
sudo pacman -S agda
Arch Linux sync databases · agda · Quelle: geo.mirror.pkgbuild.com
Paketmanager-Quelle
Plattformhinweise
- Es waren keine paketspezifischen Plattformhinweise vorhanden.
Überblick
Paketzusammenfassung
Automic Vault veröffentlicht paketspezifische Installationswege, Executable-Fakten und Sicherheitsmetadaten für agda aus lokalen Paketdaten.
Homepage
Befehle und Aliase
- agda
- agda-mode
- agda2hs
Quellzusammenfassung
Dependently typed functional programming language
Sicherheitslage
Risikostufe: yellow
generalized runtime or code generation signal.
Risikoklassifikator
yellow Risiko · medium Konfidenz · runtime
Warum
- generalized runtime or code generation signal
Signale
- text:programming language
Installationsverhalten
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 6 platform targets.
- Installiert mit 2 Laufzeitabhängigkeiten.
- Build-Metadaten listen 2 Build-Abhängigkeiten.
Empfohlene Prüfung
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
Installierte Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
agda | cli | global executable | |
agda-mode | cli | global executable | |
agda2hs | cli | global executable |
Aktualität
Version und Aktualität
Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.
Seite generiert2026-05-26
Manager-Version2.8.0
Manager aktualisiert2026-02-14
lokale Datenok
Upstreamcurrent
neueste erkannte Versionv2.8.0
- okEs wurden keine Aktualitätswarnungen generiert.
Installationsmetadaten
Paketmetadaten
| Paketschlüssel | brew:agda |
|---|---|
| Version | 2.8.0 |
| Paketmanager | Homebrew |
| Paketmanager-Seite | https://formulae.brew.sh/formula/agda |
| Homepage | https://wiki.portal.chalmers.se/agda/ |
| Repository | https://github.com/agda/agda |
| Upstream-Dokumentation | https://wiki.portal.chalmers.se/agda/ |
| Lizenz | MIT AND BSD-3-Clause |
| Quellarchiv | https://github.com/agda/agda/archive/refs/tags/v2.8.0.tar.gz |
| Aktualisiert | 2026-02-14T20:55:16Z |
| Pulse | updated |
| Abhängigkeiten | ghc@9.12, gmp |
| Build-Abhängigkeiten | cabal-install, emacs |
| Von macOS bereitgestellte Bibliotheken | libffi, ncurses |
| Bottle | verfügbar (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | nicht definiert |
| Dienst | keiner deklariert |
| Caveats | To use the installed Agda libraries, execute the following commands: mkdir -p $HOME/.config/agda cp $HOMEBREW_PREFIX/opt/agda/share/agda/example-libraries $HOME/.config/agda/libraries cp $HOMEBREW_PREFIX/opt/agda/share/agda/example-defaults $HOME/.config/agda/defaults You can then inspect the copied files and customize them as needed. If you have upgraded your Agda installation from a previous version, you may need to redo this. |
Quellspur
Aus Repository-Daten generiert
Diese Seite wird von scripts/generate-pkg-pages.py geschrieben. Deployments verweigern die Veröffentlichung, wenn www/pkg/ gegenüber lokalen Paketdaten veraltet ist.
Verwendete Quellen
- Geiger risk classifier
- Nucleus package database
- cross-ecosystem install command graph
- package relationship graph
- package version freshness
- package-page enrichment