Files

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

15 lines
254 B
Nix
Raw Permalink Normal View History

2025-10-09 14:15:47 +02:00
{ buildDunePackage, dune_3 }:
buildDunePackage {
pname = "ordering";
inherit (dune_3) version src;
duneVersion = "3";
minimalOCamlVersion = "4.08";
dontAddPrefix = true;
meta = dune_3.meta // {
description = "Element ordering";
};
}