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