pkg.soopen package index

brew / Rang 10238

sollya mit Homebrew, apt, MacPorts, Nix installieren

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

InstallationsbefehlSicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%
brew install sollya

local Homebrew formula metadata

MacPortsverifiziert · 94%
sudo port install sollya

MacPorts ports tree · science/sollya/Portfile · Quelle: api.github.com

Linux

Debian aptverifiziert · 92%
sudo apt install sollya

Debian stable package indexes · sollya · Quelle: deb.debian.org

Nixverifiziert · 92%
nix profile install nixpkgs#sollya

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

Überblick

Paketzusammenfassung

Library for safe floating-point code development

Befehle und Aliase

  • sollya

Verlauf

Projektgeschichte und Nutzung

Sollya is an interactive tool and library for safe floating-point code development, especially for implementing mathematical floating-point libraries.

Projektgeschichte

The official site describes Sollya as both a tool environment and a library for safe floating-point code development, with features such as certified infinity norm computation, automatic polynomial implementation, and a fast Remez algorithm.

The official history page records Sollya 1.0 in January 2008 and a sequence of stable releases through Sollya 8.0 in March 2022. The GitLab repository is the current development source, while the official site also publishes weekly snapshots.

Adoptionsgeschichte

Sollya is a specialist numerical-computing package rather than a mainstream developer CLI. The supplied package-manager facts list Homebrew, Debian/Ubuntu development packages, MacPorts, and Nix, which is typical for scientific software that needs to be available in reproducible build environments.

Wie es verwendet wird

The manual describes Sollya as an interactive tool for accurate function evaluation, polynomial approximation, polynomial implementation for math libraries, plotting, and infinity-norm computation. The README documents conventional `./configure`, `make`, and `make install` builds and recommends `rlwrap` for interactive use.

Warum Paket-Nerds sich dafür interessieren

Sollya is interesting to package maintainers because it links together exact arithmetic and numerical libraries such as GMP, MPFR, MPFI, FPLLL, libxml2, and gnuplot. It is a small command-line interface to a large stack of mathematical correctness machinery.

Zeitleiste

  • 2008: Sollya 1.0 is released.
  • 2010: Sollya 2.0 is released.
  • 2011: Sollya 3.0 is released.
  • 2013: Sollya 4.0 and 4.1 are released.
  • 2016: Sollya 5.0 and 6.0 are released.
  • 2018: Sollya 7.0 is released.
  • 2022: Sollya 8.0 is released.

Related projects

  • The official site points to Python bindings from the Metalibm developers. The README names FPLLL as a dependency, and the site discusses CRlibm-style C code and Gappa proofs among Sollya's use cases.

Quellen

  • Input package-manager facts: source_facts.package-manager
  • Official README: https://gitlab.inria.fr/sollya/sollya/-/blob/master/README
  • Official history page: https://www.sollya.org/history.php
  • Official manual: https://www.sollya.org/sollya-8.0/sollya.php
  • Official repository: https://gitlab.inria.fr/sollya/sollya
  • Official site: https://www.sollya.org/

Sicherheitslage

Risikostufe: grün

library-like package without higher-risk signals.

Risikoklassifikator

grün Risiko · niedrig Konfidenz · appliance

Warum

  • library-like package without higher-risk signals

Signale

  • metadata:library-like

Installationsverhalten

  • Es wurden keine Homebrew-Bottle-Metadaten erfasst.

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
sollyaExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.

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-08-03
Manager-Version8.0
Manager aktualisiert
lokale Datenunbekannt
Upstreamnicht verfügbar
neueste erkannte Versionnicht erkannt
  • OKEs wurden keine Aktualitätswarnungen generiert.

Installationsmetadaten

Paketmetadaten

Paketschlüsselbrew:sollya
Version8.0
PaketmanagerHomebrew
Homepagehttps://www.sollya.org/
Bottlenicht erfasst
Dienstkeiner deklariert

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

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

Debian apt95%

libsollya-dev 8.0+ds-3

library for safe floating-point code development -- libdev

https://www.sollya.org/

sudo apt install libsollya-dev
  • Section: libdevel
  • Architecture: amd64
  • Source Package: sollya
  • 6 Abhängigkeiten
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Sollya
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libsollya-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libsollya8 8.0+ds-3

library for safe floating-point code development -- lib

https://www.sollya.org/

sudo apt install libsollya8
  • Section: libs
  • Architecture: amd64
  • Source Package: sollya
  • 8 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Sollya
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libsollya8 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

sollya 8.0+ds-3

library for safe floating-point code development -- tool

https://www.sollya.org/

sudo apt install sollya
  • Section: math
  • Architecture: amd64
  • 2 Abhängigkeiten
  • 4 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Sollya
Debian stable package indexes · deb.debian.org · Debian stable package indexes: sollya from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

sollya-doc 8.0+ds-3

library for safe floating-point code development -- doc

https://www.sollya.org/

sudo apt install sollya-doc
  • Section: doc
  • Architecture: all
  • Source Package: sollya
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Sollya
Debian stable package indexes · deb.debian.org · Debian stable package indexes: sollya-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Nix95%

sollya

nix profile install nixpkgs#sollya
  • normalized package name match
  • Abgeglichen nach: Sollya
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/so/sollya/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
Ubuntu apt95%

libsollya-dev 8.0+ds-2build3

library for safe floating-point code development -- libdev

https://www.sollya.org/

sudo apt install libsollya-dev
  • Section: universe/libdevel
  • Architecture: amd64
  • Source Package: sollya
  • 6 Abhängigkeiten
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Sollya
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libsollya-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libsollya8 8.0+ds-2build3

library for safe floating-point code development -- lib

https://www.sollya.org/

sudo apt install libsollya8
  • Section: universe/libs
  • Architecture: amd64
  • Source Package: sollya
  • 8 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Sollya
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libsollya8 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

sollya 8.0+ds-2build3

library for safe floating-point code development -- tool

https://www.sollya.org/

sudo apt install sollya
  • Section: universe/math
  • Architecture: amd64
  • 2 Abhängigkeiten
  • 4 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Sollya
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: sollya from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

sollya-doc 8.0+ds-2build3

library for safe floating-point code development -- doc

https://www.sollya.org/

sudo apt install sollya-doc
  • Section: universe/doc
  • Architecture: all
  • Source Package: sollya
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Sollya
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: sollya-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
MacPorts95%

sollya

sudo port install sollya
  • normalized package name match
  • Abgeglichen nach: Sollya
MacPorts ports tree · api.github.com · MacPorts ports tree: science/sollya/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

Paketgraph

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

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
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • pkg.so package database
  • pkgdb category and tag curation