macOS
Homebrewverified · 100%
brew install idris2local Homebrew formula metadata
MacPortsverified · 94%
sudo port install idris2MacPorts ports tree · lang/idris2/Portfile · source: api.github.com
brew / Rang 4255
idris2 installieren
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für idris2 in AI-Agent-Workflows.
Installation
Mit Automic Vault installieren
Automic Vault
sudo av install brew:idris2Linux
Alpine Linux apkverified · 92%
sudo apk add idris2Alpine Linux edge package indexes · idris2 · source: dl-cdn.alpinelinux.org
Fedora dnfverified · 92%
sudo dnf install idris2Fedora Rawhide package metadata · idris2 · source: dl.fedoraproject.org
Nixverified · 92%
nix profile install nixpkgs#idris2nixpkgs package indexes · pkgs/by-name/id/idris2/package.nix · source: api.github.com
Paketmanager-Quelle
Plattformhinweise
- Es waren keine paketspezifischen Plattformhinweise vorhanden.
Überblick
Paketzusammenfassung
Pure functional programming language with dependent types
Homepage
Befehle und Aliase
- idris2
Sicherheitslage
Risikostufe: yellow
generalized runtime or code generation signal.
Risk classifier
yellow risk · medium confidence · runtime
Why
- generalized runtime or code generation signal
Signals
- text:programming language
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 6 platform targets.
- Installs with 1 runtime dependencies.
- Build metadata lists 1 build dependencies.
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 |
|---|---|---|---|
idris2 | 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-06-10
Manager-Version0.8.0
Manager aktualisiert2026-05-12
lokale Datenok
Upstreamcurrent
neueste erkannte Versionv0.8.0
https://github.com/idris-lang/Idris2
- okNo freshness warnings were generated.
Installationsmetadaten
Paketmetadaten
| Package key | brew:idris2 |
|---|---|
| Version | 0.8.0 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/idris2 |
| Homepage | https://www.idris-lang.org/ |
| Repository | https://github.com/idris-lang/Idris2 |
| Upstream docs | https://idris2.readthedocs.io/en/latest |
| License | BSD-3-Clause |
| Source archive | https://github.com/idris-lang/Idris2/archive/refs/tags/v0.8.0.tar.gz |
| Last updated | 2026-05-12T16:20:16Z |
| Pulse | updated |
| Dependencies | chezscheme |
| Build dependencies | gmp |
| Bottle | available (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
Source database details
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | idris2 |
| Version Scheme | 0 |
| Revision | 2 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
source database matches
Other package-manager records
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
Nix95%
idris2
nix profile install nixpkgs#idris2- normalized package name match
- Matched by: Idris2
apk95%
idris2 0.8.0-r2
Purely functional programming language with first class types
sudo apk add idris2- License: BSD-3-Clause
- Architecture: x86_64
- Source Package: idris2
- 1 dependencies
- 1 provides
- normalized package name match
- Matched by: Idris2
apk95%
idris2-api 0.8.0-r2
Idris API for developing support tools (e.g. external code generator)
sudo apk add idris2-api- License: BSD-3-Clause
- Architecture: x86_64
- Source Package: idris2
- normalized package name match
- Matched by: Idris2
apk95%
idris2-doc 0.8.0-r2
Purely functional programming language with first class types (documentation)
sudo apk add idris2-doc- License: BSD-3-Clause
- Architecture: x86_64
- Source Package: idris2
- normalized package name match
- Matched by: Idris2
dnf95%
idris2 0.8.0-5.fc45
Purely functional programming language with first class types
sudo dnf install idris2- License: BSD-3-Clause
- Category: Unspecified
- Architecture: x86_64
- Source Package: idris2
- 3 dependencies
- 2 provides
- normalized package name match
- Matched by: Idris2
dnf95%
idris2-doc 0.8.0-5.fc45
Idris2 documentation
sudo dnf install idris2-doc- License: BSD-3-Clause
- Category: Unspecified
- Architecture: noarch
- Source Package: idris2
- 1 dependencies
- 1 provides
- normalized package name match
- Matched by: Idris2
dnf95%
idris2-libs 0.8.0-5.fc45
idris2 runtime support library
sudo dnf install idris2-libs- License: BSD-3-Clause
- Category: Unspecified
- Architecture: x86_64
- Source Package: idris2
- 2 dependencies
- 2 provides
- normalized package name match
- Matched by: Idris2
MacPorts95%
idris2
sudo port install idris2- normalized package name match
- Matched by: Idris2
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.
Verwendete Quellen
- Geiger risk classifier
- Nucleus package database
- av.db category and tag curation
- cross-ecosystem install command graph
- external package-manager database matches
- package relationship graph
- package version freshness
- package-page enrichment