インストール

Automic Vault でインストール

Automic Vault

AV をダウンロード

sudo av install brew:civl

macOS

Homebrew 確認済み · 100%

brew install civl

local Homebrew formula metadata

パッケージマネージャソース

https://formulae.brew.sh/formula/civl

プラットフォームノート

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

概要

パッケージ概要

Automic Vault は、civl のパッケージ固有のインストール経路、実行可能ファイル情報、セキュリティメタデータをローカルパッケージデータから公開します。

ホームページ

https://vsl.cis.udel.edu/civl/

コマンドとエイリアス

civl

ソース概要

Concurrency Intermediate Verification Language

セキュリティ状態

リスクレベル: blue

broad file, network, media, or database tool signal.

リスク分類器

blue リスク · medium 信頼度 · tool

理由

broad file, network, media, or database tool signal

信号

text:media

インストール挙動

No Homebrew post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 1 platform targets.
2 件の実行時依存関係とともにインストールされます。

推奨レビュー

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

実行可能ファイル

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

コマンド	種類	公開範囲	メモ
`civl`	cli	global executable

鮮度

バージョンと鮮度

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

ページ生成日2026-05-26

マネージャ版1.22-5854

マネージャ更新日2026-02-19

ローカルデータok

上流not checked

検出された最新未検出

https://vsl.cis.udel.edu/civl/

info Release/tag comparison is only available for GitHub repositories. https://vsl.cis.udel.edu/civl/ none 信頼度

インストールメタデータ

パッケージメタデータ

パッケージキー	brew:civl
バージョン	1.22-5854
パッケージマネージャ	Homebrew
パッケージマネージャページ	https://formulae.brew.sh/formula/civl
ホームページ	https://vsl.cis.udel.edu/civl/
上流ドキュメント	https://vsl.cis.udel.edu/civl/
ライセンス	GPL-3.0-or-later AND LGPL-3.0-or-later AND BSD-3-Clause
ソースアーカイブ	https://vsl.cis.udel.edu/lib/sw/civl/1.22/r5854/release/CIVL-1.22_5854.tgz
更新	2026-02-19T14:35:27+01:00
Pulse	updated
依存関係	openjdk, z3
Bottle	利用可能 (all)
Homebrew post-install	未定義
サービス	宣言なし

パッケージグラフ

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

ソース経路

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

このページは scripts/generate-pkg-pages.py によって書かれます。www/pkg/ がローカルパッケージデータに対して古い場合、デプロイは公開を拒否します。

使用ソース

Geiger risk classifier
Nucleus package database
cross-ecosystem install command graph
package relationship graph
package version freshness
package-page enrichment

civl をインストール