brew

agda mit Homebrew, apt, Nix, pacman, dnf installieren

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

Installationsbefehl Sicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%

brew install agda

local Homebrew formula metadata

Linux

Debian aptverifiziert · 92%

sudo apt install agda

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

Nixverifiziert · 92%

nix profile install nixpkgs#agda

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

Arch Linux pacmanverifiziert · 92%

sudo pacman -S agda

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

Fedora dnfverifiziert · 92%

sudo dnf install Agda

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

Überblick

Paketzusammenfassung

Dependently typed functional programming language

Projektlinks

Befehle und Aliase

agda
agda-mode
agda2hs

Verlauf

Projektgeschichte und Nutzung

Agda is a dependently typed programming language and interactive theorem prover rooted in the Gothenburg tradition of Martin-Lof type theory systems. It is both a language-runtime package and a proof-assistant package, with an interactive editor workflow and a library system based on .agda-lib files.

Projektgeschichte

The official history page traces the lineage back to proof assistants based on Martin-Lof type theory developed in Gothenburg since 1983, followed by intensional dependent type theory systems around 1990 such as ALF. In the mid-1990s, prototypes and redesigns explored theory mechanisms, proof editors, and type checking with metavariable constraints.

The original Agda, now often called Agda 1, was implemented in Haskell by Catarina Coquand. In 2004 the Programming Logic Group began collaborating with AIST in Japan, and the Agda Implementors Meetings started as biannual meetings alternating between Sweden and Japan.

Work on the current Agda system began after the 2005 AgdaLight prototype by Ulf Norell and Andreas Abel. Ulf Norell's 2007 thesis, 'Towards a practical programming language based on dependent type theory', is named by the official history page as a main reference for Agda 2.

Adoptionsgeschichte

Agda's adoption has grown through academic type theory, dependently typed programming, proof engineering, and formalized mathematics communities. The official wiki says the center of development is the Logic and Types group at Chalmers and Gothenburg University, while GitHub metadata shows a broad open-source contributor base.

As a package, Agda is visible across Haskell and OS package ecosystems. The README links Hackage and Stackage badges, the official installation docs describe binary releases, source builds with cabal and Nix, and a Python installer, and the supplied batch facts list Homebrew, Debian, Fedora, Nix, Arch, and Ubuntu.

Wie es verwendet wird

Users run agda to type-check files, use agda-mode or another editor integration for interactive development, and manage libraries through .agda-lib files plus AGDA_DIR/libraries and AGDA_DIR/defaults files. On Unix-like systems AGDA_DIR defaults to ~/.config/agda, with fallback behavior for ~/.agda; on Windows it defaults under AppData/Roaming/agda.

Agda code often depends on the standard library but the official installation page notes that the standard library is not necessarily bundled with every Agda distribution. The package-system documentation therefore matters to packagers and users because it defines how installed libraries become visible to the type checker.

Warum Paket-Nerds sich dafür interessieren

Agda is one of those packages where the executable is only half the story: editor integration, Unicode input, library metadata, GHC compatibility, data files, standard-library versioning, and release notes all affect whether users can actually type-check projects.

The 2.8.0 release notes are especially package-relevant because they say Agda became a self-contained single binary and mention behavior around data files and library builds. That kind of upstream packaging change directly affects formulae, distro packages, and reproducible development environments.

Zeitleiste

1983: Gothenburg work on Martin-Lof type theory proof assistants begins.
1990: ALF lineage of intensional dependent type theory systems begins around Gothenburg.
2004: Agda collaboration with AIST begins and Agda Implementors Meetings start.
2005: AgdaLight prototype work begins, leading toward Agda 2.
2007: Ulf Norell thesis on a practical dependently typed programming language published.
2025: Agda 2.8.0 released.

Related projects

ALF is the earlier Gothenburg logical framework named in the official history.
AgdaLight is the 2005 prototype named as a direct precursor to Agda 2.
The Agda standard library is a separately versioned library package used by many Agda projects.
Rocq, Epigram, Matita, and NuPRL are listed by the official wiki as related dependent-type proof assistants.

Quellen

Sicherheitslage

Risikostufe: yellow

generalized runtime or code generation signal.

Risikoklassifikator

yellow Risiko · mittel Konfidenz · runtime

Warum

generalized runtime or code generation signal

Signale

text:programming language

Installationsverhalten

In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
Homebrew-Bottle-Metadaten sind für 6 Plattformziele verfügbar.
Installiert mit 3 Laufzeitabhängigkeiten.
Build-Metadaten listen 3 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.

local files

Configuration and credential file locations

These source-backed paths show where this package keeps local settings or durable credentials. Automic Vault can use them as review targets for secret scanning, migration, and command approval.

Configuration files

Config paths the tool may read or write during local use.

Unix: .agda-lib~/.config/agda/libraries~/.config/agda/libraries-VERSION~/.config/agda/defaults~/.config/agda/defaults-VERSION~/.agda
Windows: .agda-libC:\Users\USERNAME\AppData\Roaming\agda\librariesC:\Users\USERNAME\AppData\Roaming\agda\libraries-VERSIONC:\Users\USERNAME\AppData\Roaming\agda\defaultsC:\Users\USERNAME\AppData\Roaming\agda\defaults-VERSION

Executables

Installierte Executables

Befehl	Art	Sichtbarkeit
`agda`	cli	globales Executable
`agda-mode`	cli	globales Executable
`agda2hs`	cli	globales 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-07-10

Manager-Version2.8.0-r3

Manager aktualisiert2026-06-22

lokale DatenOK

Upstreamaktuell

neueste erkannte Versionv2.8.0-r3

https://github.com/agda/agda

OKEs wurden keine Aktualitätswarnungen generiert.

Installationsmetadaten

Paketmetadaten

Paketschlüssel	brew:agda
Version	2.8.0-r3
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://agda.readthedocs.io/en/latest
Lizenz	MIT AND BSD-3-Clause
Quellarchiv	https://github.com/agda/agda/archive/refs/tags/v2.8.0-r3.tar.gz
Zuletzt aktualisiert	2026-06-22T14:02:41-07:00
Pulse	updated
Abhängigkeiten	ghc@9.12, gmp, icu4c@78
Build-Abhängigkeiten	cabal-install, emacs, pkgconf
Von macOS bereitgestellte Bibliotheken	libffi, ncurses
Bottle	verfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	nicht definiert
Dienst	keiner deklariert
Einschränkungen	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.

Registry-Fakten

Details aus der Quelldatenbank

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	agda
Version Scheme	0
Revision	0
Head Version	HEAD
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	head stable

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

Debian apt95%

agda 2.6.4.3-1

dependently typed functional programming language

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

sudo apt install agda

Section: misc
Architecture: all
5 Abhängigkeiten
normalized package name match
Abgeglichen nach: Agda

Debian stable package indexes · deb.debian.org · Debian stable package indexes: agda from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Debian apt95%

agda-bin 2.6.4.3-1+b2

commandline interface to Agda

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

sudo apt install agda-bin

Section: haskell
Architecture: amd64
Source Package: agda
7 Abhängigkeiten
1 optionale Abhängigkeiten
normalized package name match
Abgeglichen nach: Agda

Debian stable package indexes · deb.debian.org · Debian stable package indexes: agda-bin from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Debian apt95%

elpa-agda2-mode 2.6.4.3-1

dependently typed functional programming language — emacs mode

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

sudo apt install elpa-agda2-mode

Section: editors
Architecture: all
Source Package: agda
4 Abhängigkeiten
1 optionale Abhängigkeiten
normalized package name match
Abgeglichen nach: Agda

Debian stable package indexes · deb.debian.org · Debian stable package indexes: elpa-agda2-mode from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Debian apt95%

libghc-agda-dev 2.6.4.3-1+b2

dependently typed functional programming language

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

sudo apt install libghc-agda-dev

Section: haskell
Architecture: amd64
Source Package: agda
32 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: Agda

Debian stable package indexes · deb.debian.org · Debian stable package indexes: libghc-agda-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Debian apt95%

libghc-agda-doc 2.6.4.3-1

dependently typed functional programming language; documentation

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

sudo apt install libghc-agda-doc

Section: doc
Architecture: all
Source Package: agda
1 Abhängigkeiten
1 stellt bereit
29 optionale Abhängigkeiten
normalized package name match
Abgeglichen nach: Agda

Debian stable package indexes · deb.debian.org · Debian stable package indexes: libghc-agda-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Nix95%

agda

nix profile install nixpkgs#agda

normalized package name match
Abgeglichen nach: Agda

nixpkgs package indexes · raw.githubusercontent.com · nixpkgs package indexes: agda from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix

Ubuntu apt95%

agda 2.6.3-1build1

dependently typed functional programming language

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

sudo apt install agda

Section: universe/misc
Architecture: all
5 Abhängigkeiten
normalized package name match
Abgeglichen nach: Agda

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

Ubuntu apt95%

agda-bin 2.6.3-1build1

commandline interface to Agda

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

sudo apt install agda-bin

Section: universe/haskell
Architecture: amd64
Source Package: agda
6 Abhängigkeiten
1 optionale Abhängigkeiten
normalized package name match
Abgeglichen nach: Agda

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

Ubuntu apt95%

elpa-agda2-mode 2.6.3-1build1

dependently typed functional programming language — emacs mode

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

sudo apt install elpa-agda2-mode

Section: universe/editors
Architecture: all
Source Package: agda
4 Abhängigkeiten
1 optionale Abhängigkeiten
normalized package name match
Abgeglichen nach: Agda

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: elpa-agda2-mode from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt95%

libghc-agda-dev 2.6.3-1build1

dependently typed functional programming language

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

sudo apt install libghc-agda-dev

Section: universe/haskell
Architecture: amd64
Source Package: agda
32 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: Agda

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libghc-agda-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt95%

libghc-agda-doc 2.6.3-1build1

dependently typed functional programming language; documentation

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

sudo apt install libghc-agda-doc

Section: universe/doc
Architecture: all
Source Package: agda
1 Abhängigkeiten
1 stellt bereit
27 optionale Abhängigkeiten
normalized package name match
Abgeglichen nach: Agda

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libghc-agda-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

dnf95%

Agda 2.8.0-59.fc44

A dependently typed functional programming language and proof assistant

https://hackage.haskell.org/package/Agda

sudo dnf install Agda

License: MIT AND BSD-3-Clause
Category: Unspecified
Architecture: x86_64
Source Package: Agda
9 Abhängigkeiten
3 stellt bereit
normalized package name match
Abgeglichen nach: Agda

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: Agda from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf95%

Agda-common 2.8.0-59.fc44

Agda common files

https://hackage.haskell.org/package/Agda

sudo dnf install Agda-common

License: MIT AND BSD-3-Clause AND BSD-2-Clause
Category: Unspecified
Architecture: noarch
Source Package: Agda
1 stellt bereit
normalized package name match
Abgeglichen nach: Agda

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: Agda-common from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf95%

ghc-Agda 2.8.0-59.fc44

Haskell Agda library

https://hackage.haskell.org/package/Agda

sudo dnf install ghc-Agda

License: MIT AND BSD-3-Clause
Category: Unspecified
Architecture: x86_64
Source Package: Agda
32 Abhängigkeiten
2 stellt bereit
normalized package name match
Abgeglichen nach: Agda

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: ghc-Agda from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf95%

ghc-Agda-devel 2.8.0-59.fc44

Haskell Agda library development files

https://hackage.haskell.org/package/Agda

sudo dnf install ghc-Agda-devel

License: MIT AND BSD-3-Clause
Category: Unspecified
Architecture: x86_64
Source Package: Agda
3 Abhängigkeiten
3 stellt bereit
normalized package name match
Abgeglichen nach: Agda

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: ghc-Agda-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf95%

ghc-Agda-doc 2.8.0-59.fc44

Haskell Agda library documentation

https://hackage.haskell.org/package/Agda

sudo dnf install ghc-Agda-doc

License: MIT AND BSD-3-Clause
Category: Unspecified
Architecture: noarch
Source Package: Agda
1 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: Agda

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: ghc-Agda-doc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Combined YAML source

View the package source record on GitHub.

combined/agda.yml

Verwendete Quellen

Geiger risk classifier
Nucleus package database
av.db category and tag curation
cross-ecosystem install command graph
curated configuration and credential file locations
curated package history
external package-manager database matches
package relationship graph
package version freshness
package-page enrichment

agda mit Homebrew, apt, Nix, pacman, dnf installieren

Weitere Installationsbefehle

macOS

Linux

Paketzusammenfassung

Projektlinks

Befehle und Aliase

Projektgeschichte und Nutzung

Projektgeschichte

Adoptionsgeschichte

Wie es verwendet wird

Warum Paket-Nerds sich dafür interessieren

Zeitleiste

Related projects

Quellen

Risikostufe: yellow

Risikoklassifikator

Warum

Signale

Installationsverhalten

Empfohlene Prüfung

Configuration and credential file locations

Configuration files

Installierte Executables

Version und Aktualität

Paketmetadaten

Details aus der Quelldatenbank

Andere Paketmanager-Einträge

Interne Paketlinks

Themen-Hubs

Verwandte Tools

Gleicher Workflow

Agent-Sicherheitsleitfäden

Aus Repository-Daten generiert

Combined YAML source

Verwendete Quellen