Merge staging-next into staging

This commit is contained in:
github-actions[bot]
2021-03-03 00:38:15 +00:00
committed by GitHub
30 changed files with 192 additions and 167 deletions
@@ -4,6 +4,8 @@ buildDunePackage rec {
pname = "mirage-clock";
version = "3.1.0";
useDune2 = true;
src = fetchurl {
url = "https://github.com/mirage/mirage-clock/releases/download/v${version}/mirage-clock-v${version}.tbz";
sha256 = "0cqa07aqkamw0dvis1fl46brvk81zvb92iy5076ik62gv9n5a0mn";
@@ -1,9 +1,11 @@
{ buildDunePackage, mirage-clock }:
{ buildDunePackage, mirage-clock, dune-configurator }:
buildDunePackage {
pname = "mirage-clock-unix";
inherit (mirage-clock) version src;
inherit (mirage-clock) version useDune2 src;
buildInputs = [ dune-configurator ];
propagatedBuildInputs = [ mirage-clock ];