biglybt: 3.5.0.0 -> 3.6.0.0
[NixPkgs.git] / pkgs / development / ocaml-modules / dedukti / default.nix
blob8f6305824f4ffc9d7d7803fff334dfff44d6f4df
1 { lib
2 , fetchFromGitHub
3 , buildDunePackage
4 , cmdliner
5 , menhir
6 }:
8 buildDunePackage rec {
9   pname = "dedukti";
10   version = "2.7";
12   minimalOCamlVersion = "4.08";
14   src = fetchFromGitHub {
15     owner = "Deducteam";
16     repo = pname;
17     rev = "v${version}";
18     hash = "sha256-SFxbgq2znO+OCEFzuekVquvtOEuCQanseKy+iZAeWbc=";
19   };
21   nativeBuildInputs = [ menhir ];
22   buildInputs = [ cmdliner ];
24   doCheck = false;  # requires `tezt`
26   meta = with lib; {
27     homepage = "https://deducteam.github.io";
28     description = "Logical framework based on the λΠ-calculus modulo rewriting";
29     license = licenses.cecill-b;
30     changelog = "https://github.com/Deducteam/Dedukti/raw/${version}/CHANGELOG.md";
31     maintainers = with maintainers; [ bcdarwin ];
32   };