pkg.soopen package index

brew / rank 9615

Install proper with Homebrew

QuickCheck-inspired property-based testing tool for Erlang. Version 1.5.0 via Homebrew; verified from local package data.

Install commandSecurity notes

install

Additional install commands

macOS

Homebrewverified · 100%
brew install proper

local Homebrew formula metadata

overview

Package summary

QuickCheck-inspired property-based testing tool for Erlang

Commands and aliases

No executable aliases were found in the local package database.

security posture

No protected-tool coverage found yet

No matching local secret-handling manifest was found for proper. Package metadata is still published here so future coverage has a stable package URL.

Install behavior

  • No Homebrew post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 8 platform targets.
  • Installs with 1 runtime dependencies.
  • Build metadata lists 1 build dependencies.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

executables

Installed executables

CommandKindExposureNote
No executable data was present.

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-08-04
manager version1.5.0
manager updated
local dataok
upstreamcurrent
latest detectedv1.5.0

https://github.com/proper-testing/proper

  • infoNo package-manager update timestamp was available.low confidence

install metadata

Package metadata

Package keybrew:proper
Version1.5.0
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/proper
Homepagehttps://proper-testing.github.io
Repositoryhttps://github.com/proper-testing/proper
Upstream docshttps://proper-testing.github.io
LicenseGPL-3.0-or-later
Source archivehttps://github.com/proper-testing/proper/archive/refs/tags/v1.5.0.tar.gz
Dependencieserlang
Build dependenciesrebar3
Bottleavailable (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux)
Homebrew post-installnot defined
Servicenone declared
CaveatsTo use PropEr in Erlang, you may need: export ERL_LIBS=$HOMEBREW_PREFIX/opt/proper/proper-1.5

registry facts

Source database details

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Nameproper
Version Scheme0
Revision0
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

Related tools

  • erlangRuntime dependency declared by Homebrew.
  • rebar3Build dependency declared by Homebrew.

Same workflow

  • tsungBoth packages touch the same language runtime or ecosystem. Shared terms: erlang, testing.
  • ejabberdBoth packages touch the same language runtime or ecosystem. Shared terms: erlang.
  • elixirBoth packages touch the same language runtime or ecosystem. Shared terms: erlang.

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Used sources

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