tjh.dev
1{
2 lib,
3 fetchurl,
4 buildDunePackage,
5 ppxlib,
6 ppx_repr,
7 logs,
8}:
9
10buildDunePackage rec {
11 pname = "ppx_irmin";
12 version = "3.11.0";
13
14 src = fetchurl {
15 url = "https://github.com/mirage/irmin/releases/download/${version}/irmin-${version}.tbz";
16 hash = "sha256-CZlvvMLEPhF6m9jpAoxjXoHMyyZNXgLUJauLBrus29s=";
17 };
18
19 minimalOCamlVersion = "4.10";
20
21 propagatedBuildInputs = [
22 ppx_repr
23 ppxlib
24 logs
25 ];
26
27 meta = {
28 homepage = "https://irmin.org/";
29 description = "PPX deriver for Irmin generics";
30 license = lib.licenses.isc;
31 maintainers = with lib.maintainers; [
32 vbgl
33 sternenseemann
34 ];
35 };
36}