{ bignums, math-classes }:

{
  coqBuildInputs = [ bignums math-classes ];
}