Automic VaultAutomic Vault

brew

picat mit Homebrew, apk, Nix installieren

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

InstallationsbefehlSicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%
brew install picat

local Homebrew formula metadata

Linux

Alpine Linux apkverifiziert · 92%
sudo apk add picat

Alpine Linux edge package indexes · picat · Quelle: dl-cdn.alpinelinux.org

Nixverifiziert · 92%
nix profile install nixpkgs#picat

nixpkgs package indexes · pkgs/by-name/pi/picat/package.nix · Quelle: api.github.com

Überblick

Paketzusammenfassung

Simple, and yet powerful, logic-based multi-paradigm programming language

Befehle und Aliase

  • picat

Sicherheitslage

Risikostufe: yellow

generalized runtime or code generation signal.

Risikoklassifikator

yellow Risiko · mittel Konfidenz · runtime

Warum

  • generalized runtime or code generation signal

Signale

  • text:programming language

Installationsverhalten

  • In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
  • Homebrew-Bottle-Metadaten sind für 6 Plattformziele verfügbar.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

BefehlArtSichtbarkeitHinweis
picatcliglobales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-07-25
Manager-Version3.9.11
Manager aktualisiert2026-07-17
lokale DatenOK
Upstreamnot checked
neueste erkannte Versionnicht erkannt

https://picat-lang.org/

Installationsmetadaten

Paketmetadaten

Paketschlüsselbrew:picat
Version3.9.11
PaketmanagerHomebrew
Paketmanager-Seitehttps://formulae.brew.sh/formula/picat
Homepagehttps://picat-lang.org/
Upstream-Dokumentationhttps://picat-lang.org/download/picat_guide.pdf
LizenzMPL-2.0
Quellarchivhttps://picat-lang.org/download/picat39_11_src.tar.gz
Zuletzt aktualisiert2026-07-17T10:59:21Z
Pulseupdated
Bottleverfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnicht definiert
Dienstkeiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

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

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

Nix95%

picat

nix profile install nixpkgs#picat
  • normalized package name match
  • Abgeglichen nach: Picat
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/pi/picat/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
apk95%

picat 3.9.6-r0

Logic-based multi-paradigm programming language

https://picat-lang.org/

sudo apk add picat
  • License: MPL-2.0
  • Architecture: x86_64
  • Source Package: picat
  • 1 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Picat
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: picat from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

picat-doc 3.9.6-r0

Logic-based multi-paradigm programming language (documentation)

https://picat-lang.org/

sudo apk add picat-doc
  • License: MPL-2.0
  • Architecture: x86_64
  • Source Package: picat
  • normalized package name match
  • Abgeglichen nach: Picat
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: picat-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Gleicher Workflow

  • arturoShares av.db curated category or tags: cli, interpreter, language-runtime, programming-language, scripting.
  • luaShares av.db curated category or tags: cli, interpreter, language-runtime, programming-language, scripting.
  • rubyShares av.db curated category or tags: cli, interpreter, language-runtime, programming-language, scripting.
  • algol68gShares av.db curated category or tags: cli, interpreter, language-runtime, programming-language.
  • latinoShares av.db curated category or tags: cli, interpreter, language-runtime, programming-language.
  • logtalkShares av.db curated category or tags: cli, language-runtime, logic-programming, programming-language.

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Verwendete Quellen

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