Files

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

20 lines
271 B
Nix
Raw Permalink Normal View History

2025-10-09 14:15:47 +02:00
{
buildDunePackage,
dune_3,
ordering,
}:
buildDunePackage {
pname = "dyn";
inherit (dune_3) version src;
duneVersion = "3";
dontAddPrefix = true;
propagatedBuildInputs = [ ordering ];
meta = dune_3.meta // {
description = "Dynamic type";
};
}