インストール

Automic Vault でインストール

Automic Vault

AV をダウンロード

sudo av install brew:cryptol

macOS

Homebrew 確認済み · 100%

brew install cryptol

local Homebrew formula metadata

Linux

Arch Linux pacman 確認済み · 92%

sudo pacman -S cryptol

Arch Linux sync databases · cryptol · ソース: geo.mirror.pkgbuild.com

Ubuntu apt 確認済み · 92%

sudo apt install cryptol

Ubuntu 24.04 LTS package indexes · cryptol · ソース: archive.ubuntu.com

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

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

プラットフォームノート

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

概要

パッケージ概要

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

ホームページ

https://galoisinc.github.io/cryptol/master/RefMan.html

コマンドとエイリアス

check-exercises
cryptol
cryptol-html

ソース概要

Domain-specific language for specifying cryptographic algorithms

セキュリティ状態

リスクレベル: green

narrow executable package without higher-risk signals.

リスク分類器

green リスク · low 信頼度 · appliance

理由

narrow executable package without higher-risk signals

信号

metadata:no-higher-risk-signals

インストール挙動

No Homebrew post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 6 platform targets.
2 件の実行時依存関係とともにインストールされます。
ビルドメタデータには 2 件のビルド依存関係があります。

推奨レビュー

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

実行可能ファイル

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

コマンド	種類	公開範囲
`check-exercises`	cli	global executable
`cryptol`	cli	global executable
`cryptol-html`	cli	global executable

鮮度

バージョンと鮮度

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

ページ生成日2026-05-26

マネージャ版3.5.0

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

ローカルデータok

上流not checked

info Release/tag comparison is only available for GitHub repositories. https://galoisinc.github.io/cryptol/master/RefMan.html none 信頼度

インストールメタデータ

パッケージメタデータ

パッケージキー	brew:cryptol
バージョン	3.5.0
パッケージマネージャ	Homebrew
パッケージマネージャページ	https://formulae.brew.sh/formula/cryptol
ホームページ	https://galoisinc.github.io/cryptol/master/RefMan.html
上流ドキュメント	https://galoisinc.github.io/cryptol/master/RefMan.html
ライセンス	BSD-3-Clause
ソースアーカイブ	https://hackage.haskell.org/package/cryptol-3.5.0/cryptol-3.5.0.tar.gz
更新	2026-02-10T00:21:21Z
Pulse	updated
依存関係	gmp, z3
ビルド依存関係	cabal-install, ghc@9.12
macOS 提供ライブラリ	libffi, ncurses
Bottle	利用可能 (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
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

cryptol をインストール