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