{
  fetchFromGitLab,
  ocamlPackages,
  belenios-server,
  belenios-tool
}:

ocamlPackages.buildDunePackage rec {
  pname = "belenios";
  version = "3.0";

  src = fetchFromGitLab {
    domain = "gitlab.inria.fr";
    owner = pname;
    repo = pname;
    rev = version;
    hash = "sha256-paTkzWB2QiBfFnGfiMkTIHdKeg37PTGbMu25JLJc38U=";
  };
  
  nativeBuildInputs = with ocamlPackages; [
    odoc
  ];

  buildInputs = [
    belenios-server
    belenios-tool
  ];
}