installation

Installer avec Automic Vault

Automic Vault

Télécharger AV

sudo av install brew:agda

macOS

Homebrew vérifié · 100%

brew install agda

local Homebrew formula metadata

Linux

Debian apt vérifié · 92%

sudo apt install agda

Debian stable package indexes · agda · source: deb.debian.org

Fedora dnf vérifié · 92%

sudo dnf install Agda

Fedora Rawhide package metadata · Agda · source: dl.fedoraproject.org

Nix vérifié · 92%

nix profile install nixpkgs#agda

nixpkgs package indexes · agda · source: raw.githubusercontent.com

Arch Linux pacman vérifié · 92%

sudo pacman -S agda

Arch Linux sync databases · agda · source: geo.mirror.pkgbuild.com

Source du gestionnaire de paquets

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

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 à agda depuis les données locales de paquets.

Page d'accueil

https://wiki.portal.chalmers.se/agda/

Commandes et alias

agda
agda-mode
agda2hs

Résumé source

Dependently typed functional 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 6 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
`agda`	cli	global executable
`agda-mode`	cli	global executable
`agda2hs`	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 gestionnaire2.8.0

gestionnaire mis à jour2026-02-14

données localesok

amontcurrent

dernière version détectéev2.8.0

https://github.com/agda/agda

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:agda
Version	2.8.0
Gestionnaire de paquets	Homebrew
Page du gestionnaire de paquets	https://formulae.brew.sh/formula/agda
Page d'accueil	https://wiki.portal.chalmers.se/agda/
Dépôt	https://github.com/agda/agda
Docs amont	https://wiki.portal.chalmers.se/agda/
Licence	MIT AND BSD-3-Clause
Archive source	https://github.com/agda/agda/archive/refs/tags/v2.8.0.tar.gz
Mis à jour	2026-02-14T20:55:16Z
Pulse	updated
Dépendances	ghc@9.12, gmp
Dépendances de compilation	cabal-install, emacs
Bibliothèques fournies par macOS	libffi, ncurses
Bouteille	disponible (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
post-install Homebrew	non défini
Service	aucun déclaré
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.

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

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

Installer agda