symfpu
symfpu 1.2.0-unstable-2026-05-13 · pkgs/by-name/sy/symfpu/package.nix
Health
Risk
risk 2 low
- +2 no meta.mainProgram, no versionCheckHook
Version
1.2.0-unstable-2026-05-13 no newer release known to repology
Channels
master 1.2.0-unstable-2026-05-13 · nixos-unstable 1.2.0-unstable-2026-05-13 · nixos-26.05 1.2.0-unstable-2026-05-13 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
Implementation of SMT-LIB / IEEE-754 operations in terms of bit-vector operations
License
Platforms
45 platforms: Linux, Darwin
Source provenance
not set: built from source
Outputs
outStatus
not broken, not insecure, free
Maintainers
Version bumps 0
all open bumpsNone open.
Pull requests 0
None open.
Issues 0
None open.