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