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