Automic VaultAutomic Vault

brew / 順位 4255

idris2 をインストール

idris2 のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

インストールコマンドセキュリティノート

インストール

Automic Vault でインストール

Automic Vault
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

プラットフォームノート

  • パッケージ固有のプラットフォームノートはありません。

概要

パッケージ概要

Pure functional programming language with dependent types

コマンドとエイリアス

  • idris2

セキュリティ状態

リスクレベル: 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.

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド種類公開範囲メモ
idris2cliglobal executable

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-06-10
マネージャ版0.8.0
マネージャ更新日2026-05-12
ローカルデータok
上流current
検出された最新v0.8.0

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

  • okNo freshness warnings were generated.

インストールメタデータ

パッケージメタデータ

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

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

関連ツール

  • chezschemeRuntime dependency declared by Homebrew.

同じワークフロー

  • 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.

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

  • 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