You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
15 lines
314 B
15 lines
314 B
{ buildDunePackage, awa
|
|
, cstruct, mtime, lwt, cstruct-unix, mirage-crypto-rng
|
|
}:
|
|
|
|
buildDunePackage {
|
|
pname = "awa-lwt";
|
|
|
|
inherit (awa) version src useDune2;
|
|
|
|
propagatedBuildInputs = [
|
|
awa cstruct mtime lwt cstruct-unix mirage-crypto-rng
|
|
];
|
|
|
|
meta = awa.meta // { mainProgram = "awa_lwt_server"; };
|
|
}
|
|
|