filnix.
Fil-C b6dd634 · shared cancellation
Fil-C b6dd634 · shared cancellation · runningRunner calibration · timeoutRunner calibration · native fixturesThe first Filnix inventory

Source f07cf499adf2

Live log

libpoly

0.2.0BuiltDependencies →

C library for manipulating polynomials

Build log · · This campaign

Planning log · · This campaign

pkgs/by-name/li/libpoly/package.nix

Direct dependencies

bash-5.2p37cmake-3.31.6gmp-with-cxx-6.3.0python3-3.12.5sourcestdenv-linux

Selected dependents

cvc5keymaudeyices