tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 fetchFromGitHub,
4 buildDunePackage,
5 algaeff,
6 bwd,
7}:
8
9buildDunePackage (finalAttrs: {
10 pname = "asai";
11 version = "0.3.1";
12
13 minimalOCamlVersion = "5.2";
14
15 src = fetchFromGitHub {
16 owner = "RedPRL";
17 repo = "asai";
18 rev = finalAttrs.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})