macOS
Homebrewverified · 100%
brew install picatlocal Homebrew formula metadata
安装
使用 Automic Vault 安装
Automic Vault
sudo av install brew:picatLinux
Alpine Linux apkverified · 92%
sudo apk add picatAlpine Linux edge package indexes · picat · source: dl-cdn.alpinelinux.org
Nixverified · 92%
nix profile install nixpkgs#picatnixpkgs package indexes · pkgs/by-name/pi/picat/package.nix · source: api.github.com
软件包管理器来源
平台说明
- 没有特定于此软件包的平台说明。
概览
软件包摘要
Simple, and yet powerful, logic-based multi-paradigm programming language
主页
命令和别名
- picat
安全态势
风险级别：yellow
generalized runtime or code generation signal.
Risk classifier
yellow risk · medium confidence · runtime
Why
- generalized runtime or code generation signal
Signals
- text:programming language
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 6 platform targets.
建议审查
在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。
可执行文件
已安装的可执行文件
| 命令 | 类型 | 暴露范围 | 备注 |
|---|---|---|---|
picat | cli | global executable |
新鲜度
版本和新鲜度
这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。
页面生成时间2026-06-10
管理器版本3.9.8
管理器更新时间2026-05-21
本地数据ok
上游not checked
检测到的最新版本not detected
- infoRelease/tag comparison is only available for GitHub repositories.https://picat-lang.org/none confidence
安装元数据
软件包元数据
| 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 details
| 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
Other package-manager records
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
Nix95%
picat
nix profile install nixpkgs#picat- normalized package name match
- Matched by: Picat
apk95%
picat 3.9.6-r0
Logic-based multi-paradigm programming language
sudo apk add picat- License: MPL-2.0
- Architecture: x86_64
- Source Package: picat
- 1 dependencies
- 1 provides
- normalized package name match
- Matched by: Picat
apk95%
picat-doc 3.9.6-r0
Logic-based multi-paradigm programming language (documentation)
sudo apk add picat-doc- License: MPL-2.0
- Architecture: x86_64
- Source Package: picat
- normalized package name match
- Matched by: Picat
来源线索
由仓库数据生成
此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。
使用的来源
- 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