macOS
brew install picatlocal Homebrew formula metadata
brew / rang 6514
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de picat pour les workflows d'agents IA.
installation
sudo av install brew:picatbrew install picatlocal Homebrew formula metadata
sudo apk add picatAlpine Linux edge package indexes · picat · source: dl-cdn.alpinelinux.org
nix profile install nixpkgs#picatnixpkgs package indexes · pkgs/by-name/pi/picat/package.nix · source: api.github.com
aperçu
Simple, and yet powerful, logic-based multi-paradigm programming language
posture de sécurité
generalized runtime or code generation signal.
yellow risk · medium confidence · runtime
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
exécutables
| Commande | Type | Exposition | Note |
|---|---|---|---|
picat | cli | global executable |
fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
métadonnées d'installation
| Package key | brew:picat |
|---|---|
| Version | 3.9.8 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/picat |
| Homepage | https://picat-lang.org/ |
| Upstream docs | https://picat-lang.org/download/picat_guide.pdf |
| License | MPL-2.0 |
| Source archive | https://picat-lang.org/download/picat398_src.tar.gz |
| Last updated | 2026-05-21T12:42:42Z |
| Pulse | updated |
| Bottle | available (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | picat |
| Version Scheme | 0 |
| Revision | 0 |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
source database matches
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
picat
nix profile install nixpkgs#picatpicat 3.9.6-r0
Logic-based multi-paradigm programming language
sudo apk add picatpicat-doc 3.9.6-r0
Logic-based multi-paradigm programming language (documentation)
sudo apk add picat-docpiste source
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.