tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ lib, fetchFromGitHub, buildDunePackage, qcheck-core }:
2
3buildDunePackage rec {
4 pname = "bwd";
5 version = "2.1.0";
6
7 minimalOCamlVersion = "4.12";
8 duneVersion = "3";
9
10 src = fetchFromGitHub {
11 owner = "RedPRL";
12 repo = "ocaml-bwd";
13 rev = version;
14 hash = "sha256-ucXOBjD1behL2h8CZv64xtRjCPkajZic7G1oxxDmEXY=";
15 };
16
17 doCheck = true;
18 checkInputs = [ qcheck-core ];
19
20 meta = {
21 description = "Backward Lists";
22 inherit (src.meta) homepage;
23 license = lib.licenses.asl20;
24 maintainers = [ lib.maintainers.vbgl ];
25 };
26}