Merge master into staging-next

This commit is contained in:
github-actions[bot]
2021-03-15 18:16:46 +00:00
committed by GitHub
38 changed files with 747 additions and 581 deletions

View File

@@ -17,7 +17,7 @@
buildDunePackage rec {
pname = "torch";
version = "0.11";
version = "0.12";
useDune2 = true;
@@ -27,7 +27,7 @@ buildDunePackage rec {
owner = "LaurentMazare";
repo = "ocaml-${pname}";
rev = version;
sha256 = "19zbl9zn6fslrcm6x9cis6nswhwz8mc57nrhkada658n7rcdmskr";
sha256 = "0nl6hd2rivhgkc3sdkdmrk3j0ij3xjx1clhqm8m5iznir4g77g91";
};
buildInputs = [ dune-configurator ];