1 2 3 4 5 6 7 8 9 10 11 12 13
{ lib, buildDunePackage, dune_3 }: buildDunePackage { pname = "ordering"; inherit (dune_3) version src; duneVersion = "3"; dontAddPrefix = true; meta = dune_3.meta // { description = "Element ordering"; }; }