parent
bb559f92af
commit
ac07d2fa3e
@ -0,0 +1,13 @@ |
||||
{ lib, buildDunePackage, dune_3 }: |
||||
|
||||
buildDunePackage { |
||||
pname = "ordering"; |
||||
inherit (dune_3) version src; |
||||
duneVersion = "3"; |
||||
|
||||
dontAddPrefix = true; |
||||
|
||||
meta = dune_3.meta // { |
||||
description = "Element ordering"; |
||||
}; |
||||
} |
Loading…
Reference in new issue