{ bignums }:

{
  coqBuildInputs = [ bignums ];
  configure = "./configure.sh";
}