{ bignums }:

{
  coqBuildInputs = [ bignums ];
}