# cryptol をインストール

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

## インストール

```sh
sudo av install brew:cryptol
```

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

### macOS

- Homebrew (100%):

```sh
brew install cryptol
```

  証拠: local Homebrew formula metadata

### Linux

- pacman (92%):

```sh
sudo pacman -S cryptol
```

  証拠: Arch Linux sync databases: cryptol from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

- Ubuntu apt (92%):

```sh
sudo apt install cryptol
```

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

## パッケージ情報

- **パッケージキー:** brew:cryptol
- **パッケージマネージャ:** Homebrew
- **パッケージマネージャページ:** <https://formulae.brew.sh/formula/cryptol>
- **バージョン:** 3.5.0
- **ソース概要:** Domain-specific language for specifying cryptographic algorithms
- **ホームページ:** <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
- **生成ソース:** 2026-05-26T17:25:59+00:00

## 実行可能ファイル

- check-exercises (cli)
- cryptol (cli)
- cryptol-html (cli)
- check-exercises (エイリアス)
- cryptol (エイリアス)
- cryptol-html (エイリアス)

## 依存関係

- gmp
- z3

## ビルド依存関係

- cabal-install
- ghc@9.12

## macOS 提供ライブラリ

- libffi
- ncurses

## インストール挙動

- post-install フック: 未定義
- Bottle: 利用可能 対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## 鮮度

- ページ生成日: 2026-05-26
- マネージャ版: 3.5.0
- マネージャ更新日: 2026-02-10
- ローカルデータ: ok
- 上流リポジトリ: https://galoisinc.github.io/cryptol/master/RefMan.html
- info: Release/tag comparison is only available for GitHub repositories.

## セキュリティノート

narrow executable package without higher-risk signals.

- **Geiger リスク:** green / low
- narrow executable package without higher-risk signals

## 関連リンク

- [gmp](https://www.automicvault.com/pkg/brew/gmp/) - Runtime dependency declared by Homebrew.
- [z3](https://www.automicvault.com/pkg/brew/z3/) - Runtime dependency declared by Homebrew.
- [cabal-install](https://www.automicvault.com/pkg/brew/cabal-install/) - Build dependency declared by Homebrew.
- [ghc@9.12](https://www.automicvault.com/pkg/brew/ghc-9-12/) - Build dependency declared by Homebrew.

## ソース

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