filnix.runningLive log

symfpu

unstable-2019-05-17BuiltDependencies →

A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point

Build log · 15 Sep 11:30 · This campaign

Planning log · 15 Sep 10:25 · This campaign

pkgs/by-name/sy/symfpu/package.nix

Direct dependencies

bash-5.2p37 copy-pkg-config-items-hook source stdenv-linux symfpu.pc

Selected dependents

bitwuzla cvc5 key