My personal project and infrastructure archive
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.
|
{ buildDunePackage, irmin, mtime, logs, lwt }:
|
|
|
|
buildDunePackage {
|
|
pname = "irmin-layers";
|
|
|
|
inherit (irmin) version src useDune2;
|
|
|
|
propagatedBuildInputs = [
|
|
irmin
|
|
mtime
|
|
logs
|
|
lwt
|
|
];
|
|
|
|
meta = irmin.meta // {
|
|
description = "Combine different Irmin stores into a single, layered store";
|
|
};
|
|
}
|
|
|