Automic VaultAutomic Vault

brew / rang 4255

Installer idris2

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de idris2 pour les workflows d'agents IA.

Commande d'installationNotes de sécurité

installation

Installer avec Automic Vault

Automic Vault
Télécharger AV
sudo av install brew:idris2

macOS

Homebrewverified · 100%
brew install idris2

local Homebrew formula metadata

MacPortsverified · 94%
sudo port install idris2

MacPorts ports tree · lang/idris2/Portfile · source: api.github.com

Linux

Alpine Linux apkverified · 92%
sudo apk add idris2

Alpine Linux edge package indexes · idris2 · source: dl-cdn.alpinelinux.org

Fedora dnfverified · 92%
sudo dnf install idris2

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

Nixverified · 92%
nix profile install nixpkgs#idris2

nixpkgs package indexes · pkgs/by-name/id/idris2/package.nix · source: api.github.com

Notes de plateforme

  • Aucune note de plateforme propre au paquet n'était présente.

aperçu

Résumé du paquet

Pure functional programming language with dependent types

Commandes et alias

  • idris2

posture de sécurité

Niveau de risque : 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.

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

CommandeTypeExpositionNote
idris2cliglobal 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-06-10
version du gestionnaire0.8.0
gestionnaire mis à jour2026-05-12
données localesok
amontcurrent
dernière version détectéev0.8.0

https://github.com/idris-lang/Idris2

  • okNo freshness warnings were generated.

métadonnées d'installation

Métadonnées du paquet

Package keybrew:idris2
Version0.8.0
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/idris2
Homepagehttps://www.idris-lang.org/
Repositoryhttps://github.com/idris-lang/Idris2
Upstream docshttps://idris2.readthedocs.io/en/latest
LicenseBSD-3-Clause
Source archivehttps://github.com/idris-lang/Idris2/archive/refs/tags/v0.8.0.tar.gz
Last updated2026-05-12T16:20:16Z
Pulseupdated
Dependencieschezscheme
Build dependenciesgmp
Bottleavailable (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnot defined
Servicenone declared

registry facts

Source database details

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Nameidris2
Version Scheme0
Revision2
Head VersionHEAD
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • head
  • stable

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
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/id/idris2/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
apk95%

idris2 0.8.0-r2

Purely functional programming language with first class types

https://www.idris-lang.org

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
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: idris2 from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

idris2-api 0.8.0-r2

Idris API for developing support tools (e.g. external code generator)

https://www.idris-lang.org

sudo apk add idris2-api
  • License: BSD-3-Clause
  • Architecture: x86_64
  • Source Package: idris2
  • normalized package name match
  • Matched by: Idris2
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: idris2-api from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

idris2-doc 0.8.0-r2

Purely functional programming language with first class types (documentation)

https://www.idris-lang.org

sudo apk add idris2-doc
  • License: BSD-3-Clause
  • Architecture: x86_64
  • Source Package: idris2
  • normalized package name match
  • Matched by: Idris2
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: idris2-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
dnf95%

idris2 0.8.0-5.fc45

Purely functional programming language with first class types

https://www.idris-lang.org

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
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: idris2 from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst
dnf95%

idris2-doc 0.8.0-5.fc45

Idris2 documentation

https://www.idris-lang.org

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
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: idris2-doc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst
dnf95%

idris2-libs 0.8.0-5.fc45

idris2 runtime support library

https://www.idris-lang.org

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
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: idris2-libs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst
MacPorts95%

idris2

sudo port install idris2
  • normalized package name match
  • Matched by: Idris2
MacPorts ports tree · api.github.com · MacPorts ports tree: lang/idris2/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

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.

Outils liés

  • chezschemeRuntime dependency declared by Homebrew.

Même workflow

  • valaShares av.db curated category or tags: cli, compiler, language-runtime, programming-language.
  • lisetteShares av.db curated category or tags: cli, compiler, language-runtime, programming-language.
  • nescShares av.db curated category or tags: cli, compiler, language-runtime, programming-language.
  • agdaShares av.db curated category or tags: cli, dependent-types, functional-programming, language-runtime, programming-language.
  • purescriptShares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
  • kokaShares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Sources utilisées

  • 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