# proper を Homebrew でインストール

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

## インストール

```sh
sudo av install brew:proper
```

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

### macOS

- Homebrew (100%):

```sh
brew install proper
```

  証拠: local Homebrew formula metadata

## パッケージ情報

- **パッケージキー:** brew:proper
- **パッケージマネージャ:** Homebrew
- **パッケージマネージャページ:** <https://formulae.brew.sh/formula/proper>
- **バージョン:** 1.5.0
- **ソース概要:** QuickCheck-inspired property-based testing tool for Erlang
- **ホームページ:** <https://proper-testing.github.io>
- **リポジトリ:** <https://github.com/proper-testing/proper>
- **上流ドキュメント:** <https://proper-testing.github.io>
- **ライセンス:** GPL-3.0-or-later
- **ソースアーカイブ:** <https://github.com/proper-testing/proper/archive/refs/tags/v1.5.0.tar.gz>
- **生成日時:** 2026-08-04T22:13:35+00:00

## 依存関係

- erlang

## ビルド依存関係

- rebar3

## インストール挙動

- post-install フック: 未定義
- 注意点: To use PropEr in Erlang, you may need: export ERL_LIBS=$HOMEBREW_PREFIX/opt/proper/proper-1.5
- Bottle: 利用可能 対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux

## バージョンと鮮度

- ページ生成日: 2026-08-04
- マネージャ版: 1.5.0
- ローカルデータ: OK
- 上流リポジトリ: https://github.com/proper-testing/proper
- 検出された最新: v1.5.0 (最新)
- 情報: No package-manager update timestamp was available.

## セキュリティノート

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


## ソースデータベース詳細

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** proper
- **Version Scheme:** 0
- **Revision:** 0
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** stable


## 関連リンク

- [Source-control packages](https://pkg.so/ja/source-control-tools/) - Belongs to a source-control command family.
- [Networking and protocol packages](https://pkg.so/ja/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [Homebrew utility packages](https://pkg.so/ja/brew-utility-packages/) - Matched curated package taxonomy and local package facts.
- [erlang](https://pkg.so/ja/brew/erlang/) - Runtime dependency declared by Homebrew.
- [rebar3](https://pkg.so/ja/brew/rebar3/) - Build dependency declared by Homebrew.
- [tsung](https://pkg.so/ja/brew/tsung/) - Both packages touch the same language runtime or ecosystem. Shared terms: erlang, testing.
- [ejabberd](https://pkg.so/ja/brew/ejabberd/) - Both packages touch the same language runtime or ecosystem. Shared terms: erlang.
- [elixir](https://pkg.so/ja/brew/elixir/) - Both packages touch the same language runtime or ecosystem. Shared terms: erlang.

## ソース

- pkg.so package database
- package-page enrichment
- package version freshness
- package relationship graph
- cross-ecosystem install command graph