path: root/dev/ci/nix/CoLoR.nix

{ bignums }:

{
  coqBuildInputs = [ bignums ];
}