path: root/dev/ci/nix/verdi-raft.nix

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