blob: 8613ccf9ae088d0fd4fb805bc7179d164f733e8e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{ lib, 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";
};
}
|