tjh.dev
1{
2 lib,
3 fetchFromGitHub,
4 buildDunePackage,
5 algaeff,
6 bwd,
7}:
8
9buildDunePackage rec {
10 pname = "asai";
11 version = "0.3.1";
12
13 minimalOCamlVersion = "5.2";
14
15 src = fetchFromGitHub {
16 owner = "RedPRL";
17 repo = pname;
18 rev = version;
19 hash = "sha256-IpRLX7umpmlNt2uV2MB+YvjAvNk0+gl5plbBExVvcdM=";
20 };
21
22 propagatedBuildInputs = [
23 algaeff
24 bwd
25 ];
26
27 meta = {
28 description = "Library for constructing and printing compiler diagnostics";
29 homepage = "https://redprl.org/asai/asai/";
30 license = lib.licenses.asl20;
31 maintainers = [ lib.maintainers.vbgl ];
32 };
33}