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