macOS
brew install sollyalocal Homebrew formula metadata
sudo port install sollyaMacPorts ports tree · science/sollya/Portfile · source: api.github.com
brew / Rang 10273
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für sollya in AI-Agent-Workflows.
Installation
sudo av install brew:sollyabrew install sollyalocal Homebrew formula metadata
sudo port install sollyaMacPorts ports tree · science/sollya/Portfile · source: api.github.com
sudo apt install libsollya-devDebian stable package indexes · libsollya-dev · source: deb.debian.org
nix profile install nixpkgs#sollyanixpkgs package indexes · pkgs/by-name/so/sollya/package.nix · source: api.github.com
Überblick
Library for safe floating-point code development
Sicherheitslage
library-like package without higher-risk signals.
green risk · low confidence · appliance
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
sollya | cli | global executable |
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.
Installationsmetadaten
| Package key | brew:sollya |
|---|---|
| Version | 8.0 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/sollya |
| Homepage | https://www.sollya.org/ |
| Repository | https://gitlab.inria.fr/sollya/sollya |
| Upstream docs | https://www.sollya.org/sollya-8.0/help.php |
| License | CECILL-C |
| Source archive | https://www.sollya.org/releases/sollya-8.0/sollya-8.0.tar.gz |
| Dependencies | fplll, gmp, mpfi, mpfr |
| Build dependencies | automake |
| Uses from macOS | libxml2 |
| 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 | sollya |
| Version Scheme | 0 |
| Revision | 3 |
| 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.
libsollya-dev 8.0+ds-3
library for safe floating-point code development -- libdev
sudo apt install libsollya-devlibsollya8 8.0+ds-3
library for safe floating-point code development -- lib
sudo apt install libsollya8sollya 8.0+ds-3
library for safe floating-point code development -- tool
sudo apt install sollyasollya-doc 8.0+ds-3
library for safe floating-point code development -- doc
sudo apt install sollya-docsollya
nix profile install nixpkgs#sollyalibsollya-dev 8.0+ds-2build3
library for safe floating-point code development -- libdev
sudo apt install libsollya-devlibsollya8 8.0+ds-2build3
library for safe floating-point code development -- lib
sudo apt install libsollya8sollya 8.0+ds-2build3
library for safe floating-point code development -- tool
sudo apt install sollyasollya-doc 8.0+ds-2build3
library for safe floating-point code development -- doc
sudo apt install sollya-docsollya
sudo port install sollyaQuellspur
Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.