# Installer proper avec Homebrew

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de proper pour les workflows d'agents IA.

## installation

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

Commandes d'installation supplémentaires:

### macOS

- Homebrew (100%):

```sh
brew install proper
```

  Preuve: local Homebrew formula metadata

## Faits du paquet

- **Clé du paquet:** brew:proper
- **Gestionnaire de paquets:** Homebrew
- **Page du gestionnaire de paquets:** <https://formulae.brew.sh/formula/proper>
- **Version:** 1.5.0
- **Résumé source:** QuickCheck-inspired property-based testing tool for Erlang
- **Page d'accueil:** <https://proper-testing.github.io>
- **Dépôt:** <https://github.com/proper-testing/proper>
- **Docs amont:** <https://proper-testing.github.io>
- **Licence:** GPL-3.0-or-later
- **Archive source:** <https://github.com/proper-testing/proper/archive/refs/tags/v1.5.0.tar.gz>
- **Généré:** 2026-08-04T22:13:35+00:00

## Dépendances

- erlang

## Dépendances de compilation

- rebar3

## Comportement d'installation

- hook post-installation: non défini
- Précautions: To use PropEr in Erlang, you may need: export ERL_LIBS=$HOMEBREW_PREFIX/opt/proper/proper-1.5
- Bouteille: disponible sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux

## Version et fraîcheur

- page générée: 2026-08-04
- version du gestionnaire: 1.5.0
- données locales: OK
- dépôt amont: https://github.com/proper-testing/proper
- dernière version détectée: v1.5.0 (à jour)
- info: No package-manager update timestamp was available.

## Notes de sécurité

Aucun manifest local de gestion des secrets correspondant n'a été trouvé pour proper. Les métadonnées de paquet restent publiées ici afin que la couverture future dispose d'une URL stable.


## Détails de la base source

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


## Liens liés

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

## Sources

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