macOS
Homebrewverified · 100%
brew install sollyalocal Homebrew formula metadata
MacPortsverified · 94%
sudo port install sollyaMacPorts ports tree · science/sollya/Portfile · source: api.github.com
brew / rang 10273
Installer sollya
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de sollya pour les workflows d'agents IA.
installation
Installer avec Automic Vault
Automic Vault
sudo av install brew:sollyaLinux
Debian aptverified · 92%
sudo apt install libsollya-devDebian stable package indexes · libsollya-dev · source: deb.debian.org
Nixverified · 92%
nix profile install nixpkgs#sollyanixpkgs package indexes · pkgs/by-name/so/sollya/package.nix · source: api.github.com
Source du gestionnaire de paquets
Notes de plateforme
- Aucune note de plateforme propre au paquet n'était présente.
aperçu
Résumé du paquet
Library for safe floating-point code development
Page d'accueil
Commandes et alias
- sollya
posture de sécurité
Niveau de risque : green
library-like package without higher-risk signals.
Risk classifier
green risk · low confidence · appliance
Why
- library-like package without higher-risk signals
Signals
- metadata:library-like
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 6 platform targets.
- Installs with 4 runtime dependencies.
- Build metadata lists 1 build dependencies.
Revue recommandée
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
Exécutables installés
| Commande | Type | Exposition | Note |
|---|---|---|---|
sollya | cli | global executable |
fraîcheur
Version et 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.
page générée2026-06-10
version du gestionnaire8.0
gestionnaire mis à jour
données localesok
amontnot checked
dernière version détectéenot detected
- infoNo package-manager update timestamp was available.low confidence
- infoRelease/tag comparison is only available for GitHub repositories.https://www.sollya.org/none confidence
métadonnées d'installation
Métadonnées du paquet
| 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 details
| 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
Other package-manager records
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
Debian apt95%
libsollya-dev 8.0+ds-3
library for safe floating-point code development -- libdev
sudo apt install libsollya-dev- Section: libdevel
- Architecture: amd64
- Source Package: sollya
- 6 dependencies
- 1 optional deps
- normalized package name match
- Matched by: Sollya
Debian apt95%
libsollya8 8.0+ds-3
library for safe floating-point code development -- lib
sudo apt install libsollya8- Section: libs
- Architecture: amd64
- Source Package: sollya
- 8 dependencies
- 1 provides
- normalized package name match
- Matched by: Sollya
Debian apt95%
sollya 8.0+ds-3
library for safe floating-point code development -- tool
sudo apt install sollya- Section: math
- Architecture: amd64
- 2 dependencies
- 4 optional deps
- normalized package name match
- Matched by: Sollya
Debian apt95%
sollya-doc 8.0+ds-3
library for safe floating-point code development -- doc
sudo apt install sollya-doc- Section: doc
- Architecture: all
- Source Package: sollya
- 1 optional deps
- normalized package name match
- Matched by: Sollya
Nix95%
sollya
nix profile install nixpkgs#sollya- normalized package name match
- Matched by: Sollya
Ubuntu apt95%
libsollya-dev 8.0+ds-2build3
library for safe floating-point code development -- libdev
sudo apt install libsollya-dev- Section: universe/libdevel
- Architecture: amd64
- Source Package: sollya
- 6 dependencies
- 1 optional deps
- normalized package name match
- Matched by: Sollya
Ubuntu apt95%
libsollya8 8.0+ds-2build3
library for safe floating-point code development -- lib
sudo apt install libsollya8- Section: universe/libs
- Architecture: amd64
- Source Package: sollya
- 8 dependencies
- 1 provides
- normalized package name match
- Matched by: Sollya
Ubuntu apt95%
sollya 8.0+ds-2build3
library for safe floating-point code development -- tool
sudo apt install sollya- Section: universe/math
- Architecture: amd64
- 2 dependencies
- 4 optional deps
- normalized package name match
- Matched by: Sollya
Ubuntu apt95%
sollya-doc 8.0+ds-2build3
library for safe floating-point code development -- doc
sudo apt install sollya-doc- Section: universe/doc
- Architecture: all
- Source Package: sollya
- 1 optional deps
- normalized package name match
- Matched by: Sollya
MacPorts95%
sollya
sudo port install sollya- normalized package name match
- Matched by: Sollya
piste source
Généré depuis les données du dépôt
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.
Sources utilisées
- 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