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