{ stdpp }:
{
  coqBuildInputs = [ stdpp ];
}