2024-07-16 02:40:28 +01:00
|
|
|
{ buildDunePackage, dune_3 }:
|
2022-03-16 16:30:46 +00:00
|
|
|
|
|
|
|
|
buildDunePackage {
|
|
|
|
|
pname = "ordering";
|
|
|
|
|
inherit (dune_3) version src;
|
|
|
|
|
duneVersion = "3";
|
2023-02-01 08:20:48 +00:00
|
|
|
minimalOCamlVersion = "4.08";
|
2022-03-16 16:30:46 +00:00
|
|
|
|
|
|
|
|
dontAddPrefix = true;
|
|
|
|
|
|
|
|
|
|
meta = dune_3.meta // {
|
|
|
|
|
description = "Element ordering";
|
|
|
|
|
};
|
|
|
|
|
}
|
