# Install sollya

Library for safe floating-point code development. Version 8.0 via Homebrew; verified from local package data.

## Install

```sh
sudo av install brew:sollya
```

Additional install commands:

### macOS

- Homebrew (100%):

```sh
brew install sollya
```

  Evidence: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install sollya
```

  Evidence: MacPorts ports tree: science/sollya/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Linux

- Debian apt (92%):

```sh
sudo apt install libsollya-dev
```

  Evidence: Debian stable package indexes: libsollya-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

- Nix (92%):

```sh
nix profile install nixpkgs#sollya
```

  Evidence: nixpkgs package indexes: pkgs/by-name/so/sollya/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

## Package Facts

- **Package key:** brew:sollya
- **Package manager:** Homebrew
- **Package manager URL:** <https://formulae.brew.sh/formula/sollya>
- **Version:** 8.0
- **Source summary:** Library for safe floating-point code development
- **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>
- **Generated:** 2026-06-10T07:18:26+00:00

## Executables

- sollya (cli)
- sollya (alias)

## Dependencies

- fplll
- gmp
- mpfi
- mpfr

## Build Dependencies

- automake

## macOS Provided Libraries

- libxml2

## Install Behavior

- Post-install hook: not defined
- Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## Freshness

- Page generated: 2026-06-10
- Package-manager version: 8.0
- Local data status: ok
- Upstream repository: https://www.sollya.org/
- info: No package-manager update timestamp was available.
- info: Release/tag comparison is only available for GitHub repositories.

## 安全说明

library-like package without higher-risk signals.

- **Geiger risk:** green / low
- library-like package without higher-risk signals

## 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:** stable

## Other Package-Manager Records

- Debian apt - libsollya-dev - 8.0+ds-3: normalized package name match | Debian stable package indexes: libsollya-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | library for safe floating-point code development -- libdev | https://www.sollya.org/
- Debian apt - libsollya8 - 8.0+ds-3: normalized package name match | Debian stable package indexes: libsollya8 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | library for safe floating-point code development -- lib | https://www.sollya.org/
- Debian apt - sollya - 8.0+ds-3: normalized package name match | Debian stable package indexes: sollya from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | library for safe floating-point code development -- tool | https://www.sollya.org/
- Debian apt - sollya-doc - 8.0+ds-3: normalized package name match | Debian stable package indexes: sollya-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | library for safe floating-point code development -- doc | https://www.sollya.org/
- Nix - sollya: normalized package name match | nixpkgs package indexes: pkgs/by-name/so/sollya/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- Ubuntu apt - libsollya-dev - 8.0+ds-2build3: normalized package name match | Ubuntu 24.04 LTS package indexes: libsollya-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | library for safe floating-point code development -- libdev | https://www.sollya.org/
- Ubuntu apt - libsollya8 - 8.0+ds-2build3: normalized package name match | Ubuntu 24.04 LTS package indexes: libsollya8 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | library for safe floating-point code development -- lib | https://www.sollya.org/
- Ubuntu apt - sollya - 8.0+ds-2build3: normalized package name match | Ubuntu 24.04 LTS package indexes: sollya from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | library for safe floating-point code development -- tool | https://www.sollya.org/
- Ubuntu apt - sollya-doc - 8.0+ds-2build3: normalized package name match | Ubuntu 24.04 LTS package indexes: sollya-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | library for safe floating-point code development -- doc | https://www.sollya.org/
- MacPorts - sollya: normalized package name match | MacPorts ports tree: science/sollya/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1


## Related Links

- [Terminal utility packages](https://www.automicvault.com/zh-hans/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Developer build packages](https://www.automicvault.com/zh-hans/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [Networking and protocol packages](https://www.automicvault.com/zh-hans/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [Scientific computing packages](https://www.automicvault.com/zh-hans/pkg/scientific-computing-tools/) - Matched scientific computing metadata.
- [fplll](https://www.automicvault.com/zh-hans/pkg/brew/fplll/) - Runtime dependency declared by Homebrew.
- [automake](https://www.automicvault.com/zh-hans/pkg/brew/automake/) - Build dependency declared by Homebrew.
- [ppl](https://www.automicvault.com/zh-hans/pkg/brew/ppl/) - Shares av.db curated category or tags: cli, mathematics, numerical-analysis, science.
- [suite-sparse](https://www.automicvault.com/zh-hans/pkg/brew/suite-sparse/) - Shares av.db curated category or tags: cli, mathematics, science.
- [maxima](https://www.automicvault.com/zh-hans/pkg/brew/maxima/) - Shares av.db curated category or tags: cli, mathematics, science.
- [calc](https://www.automicvault.com/zh-hans/pkg/brew/calc/) - Shares av.db curated category or tags: cli, mathematics, science.
- [wxmaxima](https://www.automicvault.com/zh-hans/pkg/brew/wxmaxima/) - Shares av.db curated category or tags: cli, mathematics, science.
- [singular](https://www.automicvault.com/zh-hans/pkg/brew/singular/) - Shares av.db curated category or tags: cli, mathematics, science.
- [cddlib](https://www.automicvault.com/zh-hans/pkg/brew/cddlib/) - Shares av.db curated category or tags: cli, mathematics, science.
- [pari](https://www.automicvault.com/zh-hans/pkg/brew/pari/) - Shares av.db curated category or tags: cli, mathematics, science.

## Sources

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