tjh.dev
1{
2 lib,
3 buildDunePackage,
4 fetchurl,
5 cstruct,
6}:
7
8buildDunePackage rec {
9 pname = "mirage-random";
10 version = "3.0.0";
11
12 duneVersion = "3";
13
14 src = fetchurl {
15 url = "https://github.com/mirage/mirage-random/releases/download/v${version}/mirage-random-v${version}.tbz";
16 sha256 = "sha256-Sf4/KB1kMMwXI+yr5H/JuOmynYPNXwlk9dAA+gFAZs8=";
17 };
18
19 propagatedBuildInputs = [ cstruct ];
20
21 meta = {
22 description = "Random signatures for MirageOS";
23 homepage = "https://github.com/mirage/mirage-random";
24 license = lib.licenses.isc;
25 maintainers = [ lib.maintainers.vbgl ];
26 };
27}