# proper mit Homebrew installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für proper in AI-Agent-Workflows.

## Installation

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

Weitere Installationsbefehle:

### macOS

- Homebrew (100%):

```sh
brew install proper
```

  Evidenz: local Homebrew formula metadata

## Paketfakten

- **Paketschlüssel:** brew:proper
- **Paketmanager:** Homebrew
- **Paketmanager-Seite:** <https://formulae.brew.sh/formula/proper>
- **Version:** 1.5.0
- **Quellzusammenfassung:** QuickCheck-inspired property-based testing tool for Erlang
- **Homepage:** <https://proper-testing.github.io>
- **Repository:** <https://github.com/proper-testing/proper>
- **Upstream-Dokumentation:** <https://proper-testing.github.io>
- **Lizenz:** GPL-3.0-or-later
- **Quellarchiv:** <https://github.com/proper-testing/proper/archive/refs/tags/v1.5.0.tar.gz>
- **Generiert:** 2026-08-04T22:13:35+00:00

## Abhängigkeiten

- erlang

## Build-Abhängigkeiten

- rebar3

## Installationsverhalten

- Post-install-Hook: nicht definiert
- Einschränkungen: To use PropEr in Erlang, you may need: export ERL_LIBS=$HOMEBREW_PREFIX/opt/proper/proper-1.5
- Bottle: verfügbar auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux

## Version und Aktualität

- Seite generiert: 2026-08-04
- Manager-Version: 1.5.0
- lokale Daten: OK
- Upstream-Repository: https://github.com/proper-testing/proper
- neueste erkannte Version: v1.5.0 (aktuell)
- Info: No package-manager update timestamp was available.

## Sicherheitshinweise

Für proper wurde kein passendes lokales Secret-Handling-Manifest gefunden. Paketmetadaten bleiben hier veröffentlicht, damit künftige Abdeckung eine stabile Paket-URL hat.


## Details aus der Quelldatenbank

- **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


## Verwandte Links

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

## Quellen

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