インストール

追加のインストールコマンド

macOS

Homebrew Cask確認済み · 100%

brew install --cask elan

local Homebrew cask metadata

概要

パッケージ概要

Annotation tool for audio and video recordings

プロジェクトリンク

コマンドとエイリアス

ローカルパッケージデータベースに実行可能エイリアスは見つかりませんでした。

セキュリティ状態

保護ツール対応はまだ見つかっていません

elan に一致するローカルシークレット処理マニフェストは見つかりませんでした。将来の対応で安定したパッケージ URL を使えるよう、パッケージメタデータはここに公開されています。

インストール挙動

formula メタデータに Homebrew post-install フックは記録されていません。
Homebrew bottle メタデータは記録されていません。

推奨レビュー

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

実行可能ファイル

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

コマンド	種類	公開範囲	メモ
実行可能ファイルのデータはありません。

鮮度

バージョンと鮮度

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

ページ生成日2026-08-04

マネージャ版7.1

マネージャ更新日

ローカルデータOK

上流not checked

検出された最新未検出

https://archive.mpi.nl/tla/elan

情報No package-manager update timestamp was available.信頼度低
情報Release/tag comparison is only available for GitHub repositories.https://archive.mpi.nl/tla/elan信頼度 none

インストールメタデータ

パッケージメタデータ

パッケージキー	cask:elan
バージョン	7.1
パッケージマネージャ	Homebrew Cask
パッケージマネージャページ	https://formulae.brew.sh/cask/elan
ホームページ	https://archive.mpi.nl/tla/elan
上流ドキュメント	https://archive.mpi.nl/tla/elan
ソースアーカイブ	https://www.mpi.nl/tools/elan/ELAN_7-1_M1_mac.zip
SHA-256	71106952d5a1d301c6f4f764a10e654d2581cc8922e8d451a0c091ecf000d99c
Bottle	未記録
Homebrew post-install	未定義
サービス	宣言なし

レジストリ情報

ソースデータベース詳細

Source Database	Homebrew cask API
Tap	homebrew/cask
Full Token	elan
Names	ELAN
Artifacts	App 1 Target 1 Zap 1
Deprecated	no
Disabled	no

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

Debian apt95%

elan 3.1.1-6

tool for managing installations of the Lean theorem prover

https://github.com/leanprover/elan

sudo apt install elan

Section: math
Architecture: amd64
7 依存関係
normalized package name match
一致条件: Elan

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

Nix95%

elan

nix profile install nixpkgs#elan

normalized package name match
一致条件: Elan

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/el/elan/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

Ubuntu apt95%

elan 3.1.0-1build2

tool for managing installations of the Lean theorem prover

https://github.com/leanprover/elan

sudo apt install elan

Section: universe/math
Architecture: amd64
6 依存関係
normalized package name match
一致条件: Elan

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

Scoop95%

main/elan

scoop install main/elan

normalized package name match
一致条件: Elan

Scoop official bucket manifest trees · api.github.com · Scoop official bucket manifest trees: bucket/elan.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1

winget95%

Lean.Elan

winget install --id Lean.Elan -e

normalized package name match
一致条件: Elan

Windows Package Manager source index · cdn.winget.microsoft.com · Windows Package Manager source index: Lean.Elan from https://cdn.winget.microsoft.com/cache/source.msix

winget95%

MPI.ELAN

winget install --id MPI.ELAN -e

normalized package name match
一致条件: Elan

Windows Package Manager source index · cdn.winget.microsoft.com · Windows Package Manager source index: MPI.ELAN from https://cdn.winget.microsoft.com/cache/source.msix

パッケージグラフ

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

ソース経路

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

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

使用ソース

cross-ecosystem install command graph
external package-manager database matches
package relationship graph
package version freshness
package-page enrichment

elan を Homebrew Cask でインストール