Merge master into staging-next

2021-03-10 00:39:07 +00:00
parent cf320b516a 6bd4e08c34
commit 149a81c88d
65 changed files with 1235 additions and 376 deletions
@@ -240,7 +240,8 @@ rec {

  core_kernel = janePackage {
    pname = "core_kernel";
-    hash = "012sp02v35j41lzkvf073620602fgiswz2n224j06mk3bm8jmjms";
+    version = "0.14.1";
+    hash = "0pikg4ln6177gbs0jfix7xj50zlcm7058h64lxnd7wspnj7mq8sd";
    meta.description = "System-independent part of Core";
    buildInputs = [ jst-config ];
    propagatedBuildInputs = [ base_bigstring sexplib ];