sollya 8.0 single
Tool environment for safe floating-point code development
- Name
sollya-8.0- Package set
- top-level
- Homepage
- https://www.sollya.org/
- License
- CECILL-C
- Main program
sollya- Source
- pkgs/by-name/so/sollya/package.nix:40
- Derivation
/nix/store/1dnnyx0vi6511bx8270prnailvm2snpq-sollya-8.0.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| wegank | Weijia Wang | GitHub · contact@weijia.wang | listed on package |
Dependencies 7
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| fplll 5.5.0 | buildInputs | 6 | team-only | |
| gmp 6.3.0 | buildInputs | 49,290 | single | |
| libxml2 2.15.4 | buildInputs | 70,177 | single | |
| mpfi 1.5.4 | buildInputs | 8 | single outdated | |
| mpfr 4.2.2 | buildInputs | 12,223 | single | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 1 directly, 1 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| flopoco 4.1.3 | buildInputs | 0 | single unfree |