tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ lib, fetchurl, buildDunePackage, ppxlib, ppx_repr, logs }:
2
3buildDunePackage rec {
4 pname = "ppx_irmin";
5 version = "3.5.1";
6
7 src = fetchurl {
8 url = "https://github.com/mirage/irmin/releases/download/${version}/irmin-${version}.tbz";
9 hash = "sha256-zXiKjT9KPdGNwWChU9SuyR6vaw+0GtQUZNJsecMEqY4=";
10 };
11
12 minimalOCamlVersion = "4.10";
13 duneVersion = "3";
14
15 propagatedBuildInputs = [
16 ppx_repr
17 ppxlib
18 logs
19 ];
20
21 meta = {
22 homepage = "https://irmin.org/";
23 description = "PPX deriver for Irmin generics";
24 license = lib.licenses.isc;
25 maintainers = with lib.maintainers; [ vbgl sternenseemann ];
26 };
27}