# Install urweb

Ur/Web programming language. Version 20200209 via Homebrew; verified 2026-05-12.

## Install

```sh
sudo av install brew:urweb
```

Additional install commands:

### macOS

- Homebrew (100%):

```sh
brew install urweb
```

  Evidence: local Homebrew formula metadata

### Linux

- Nix (92%):

```sh
nix profile install nixpkgs#urweb
```

  Evidence: nixpkgs package indexes: pkgs/by-name/ur/urweb/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

## Package Facts

- **Package key:** brew:urweb
- **Package manager:** Homebrew
- **Package manager URL:** <https://formulae.brew.sh/formula/urweb>
- **Version:** 20200209
- **Source summary:** Ur/Web programming language
- **Homepage:** <http://www.impredicative.com/ur/>
- **Repository:** <https://github.com/urweb/urweb>
- **Upstream docs:** <http://www.impredicative.com/ur>
- **License:** BSD-3-Clause
- **Source archive:** <https://github.com/urweb/urweb/releases/download/20200209/urweb-20200209.tar.gz>
- **Last updated:** 2026-05-12T14:20:49Z
- **Generated:** 2026-06-10T07:18:26+00:00

## Executables

- urweb (cli)
- urweb (alias)

## Dependencies

- gmp
- icu4c@78
- openssl@4

## Build Dependencies

- autoconf
- automake
- libtool
- mlton

## Install Behavior

- Post-install hook: not defined
- Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## Freshness

- Page generated: 2026-06-10
- Package-manager version: 20200209
- Package-manager updated: 2026-05-12
- Local data status: ok
- Upstream repository: https://github.com/urweb/urweb
- info: No cached GitHub release or tag data was available.

## Notes de sécurité

generalized runtime or code generation signal.

- **Geiger risk:** yellow / medium
- generalized runtime or code generation signal

## Source Database Details

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

## Other Package-Manager Records

- Nix - urweb: normalized package name match | nixpkgs package indexes: pkgs/by-name/ur/urweb/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1


## Related Links

- [Secret-risk packages](https://www.automicvault.com/fr/pkg/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals.
- [Terminal utility packages](https://www.automicvault.com/fr/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Developer build packages](https://www.automicvault.com/fr/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [Language runtime packages](https://www.automicvault.com/fr/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata.
- [openssl@4](https://www.automicvault.com/fr/pkg/brew/openssl-4/) - Runtime dependency declared by Homebrew.
- [libtool](https://www.automicvault.com/fr/pkg/brew/libtool/) - Build dependency declared by Homebrew.
- [autoconf](https://www.automicvault.com/fr/pkg/brew/autoconf/) - Build dependency declared by Homebrew.
- [automake](https://www.automicvault.com/fr/pkg/brew/automake/) - Build dependency declared by Homebrew.
- [mlton](https://www.automicvault.com/fr/pkg/brew/mlton/) - Build dependency declared by Homebrew.
- [crystal](https://www.automicvault.com/fr/pkg/brew/crystal/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language, static-typing.
- [idris2](https://www.automicvault.com/fr/pkg/brew/idris2/) - Shares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [flix](https://www.automicvault.com/fr/pkg/brew/flix/) - Shares av.db curated category or tags: cli, functional-programming, language-runtime, programming-language, static-typing.
- [purescript](https://www.automicvault.com/fr/pkg/brew/purescript/) - Shares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [koka](https://www.automicvault.com/fr/pkg/brew/koka/) - Shares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [coconut](https://www.automicvault.com/fr/pkg/brew/coconut/) - Shares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [mercury](https://www.automicvault.com/fr/pkg/brew/mercury/) - Shares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [frege](https://www.automicvault.com/fr/pkg/brew/frege/) - Shares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [php](https://www.automicvault.com/fr/pkg/brew/php/) - Local package facts share a topical domain. Shared terms: cli, development, gmp, icu4c, icu4c-78.
- [agda](https://www.automicvault.com/fr/pkg/brew/agda/) - Local package facts share a topical domain. Shared terms: cli, functional, functional-programming, gmp, icu4c.

## Sources

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- av.db category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph