ocamlPackages.sail 0.16 -> 0.17.1 https://github.com/rems-project/sail/releases attrpath: ocamlPackages.sail Checking auto update branch... No auto update branch exists [version] [version] updated version and sha256 [rustCrateVersion] [rustCrateVersion] No cargoSha256 or cargoHash found [golangModuleVersion] [golangModuleVersion] Not a buildGoModule package with vendorSha256 or vendorHash [npmDepsVersion] [npmDepsVersion] No npmDepsHash [updateScript] [updateScript] skipping because derivation has no updateScript Diff after rewrites: diff --git a/pkgs/development/ocaml-modules/sail/default.nix b/pkgs/development/ocaml-modules/sail/default.nix index 0e2dbda80d49..3c34a604723c 100644 --- a/pkgs/development/ocaml-modules/sail/default.nix +++ b/pkgs/development/ocaml-modules/sail/default.nix @@ -18,13 +18,13 @@ buildDunePackage rec { pname = "sail"; - version = "0.16"; + version = "0.17.1"; src = fetchFromGitHub { owner = "rems-project"; repo = "sail"; rev = version; - hash = "sha256-HY/rgWi0S7ZiAWZF0fVIRK6fpoJ7Xp5EQcxoPRCPJ5Y="; + hash = "sha256-wnjiIadTE5FoTrX7hl2Ulk8vA80AdJRvtmaN+2kQFWY="; }; minimalOCamlVersion = "4.08"; Received ExitFailure 1 when running Raw command: /nix/store/03a4f9rij2z4mmwprlbip3mrnnfaw0yd-nix-2.18.2/bin/nix-build --option sandbox true --arg config "{ allowBroken = true; allowUnfree = true; allowAliases = false; }" --arg overlays "[ ]" -A ocamlPackages.sail nix build failed. got build log for 'ocamlPackages.sail' from 'daemon' @nix { "action": "setPhase", "phase": "unpackPhase" } Running phase: unpackPhase unpacking source archive /nix/store/rfyjwjcwv6a90rhhi59lprnz07jvbgmb-source source root is source @nix { "action": "setPhase", "phase": "patchPhase" } Running phase: patchPhase @nix { "action": "setPhase", "phase": "updateAutotoolsGnuConfigScriptsPhase" } Running phase: updateAutotoolsGnuConfigScriptsPhase @nix { "action": "setPhase", "phase": "configurePhase" } Running phase: configurePhase no configure script, doing nothing @nix { "action": "setPhase", "phase": "buildPhase" } Running phase: buildPhase Done: 0% (0/0, 0 left) (jobs: 0) Done: 0% (0/2, 2 left) (jobs: 1) Done: 100% (2/2, 0 left) (jobs: 0) Done: 7% (2/26, 24 left) (jobs: 0) Done: 48% (15/31, 16 left) (jobs: 0) File "src/lib/dune", line 113, characters 48-57: 113 | (libraries lem linksem pprint dune-site yojson menhirLib) ^^^^^^^^^ Error: Library "menhirLib" not found. -> required by library "libsail" in _build/default/src/lib -> required by executable sail in src/bin/dune:12 -> required by _build/default/src/bin/sail.exe -> required by _build/install/default/bin/sail -> required by _build/default/sail.install -> required by alias install Done: 48% (15/31, 16 left) (jobs: 0) Done: 3% (17/459, 442 left, 1 failed) (jobs: 0) Done: 19% (112/588, 476 left, 1 failed) (jobs: 0) Done: 49% (290/588, 298 left, 1 failed) (jobs: 0) Done: 49% (290/588, 298 left, 1 failed) (jobs: 0) Done: 35% (317/899, 582 left, 1 failed) (jobs: 3) Done: 32% (324/1002, 678 left, 1 failed) (jobs: 2) Done: 33% (333/1004, 671 left, 1 failed) (jobs: 24) Done: 36% (362/1004, 642 left, 1 failed) (jobs: 24) Done: 38% (388/1004, 616 left, 1 failed) (jobs: 24) Done: 42% (426/1004, 578 left, 1 failed) (jobs: 5) Done: 42% (431/1004, 573 left, 1 failed) (jobs: 2) Done: 41% (436/1041, 605 left, 1 failed) (jobs: 4) Done: 40% (469/1171, 702 left, 1 failed) (jobs: 5) Done: 39% (470/1179, 709 left, 1 failed) (jobs: 5) Done: 49% (622/1261, 639 left, 1 failed) (jobs: 4) Done: 52% (673/1289, 616 left, 1 failed) (jobs: 9) Done: 53% (705/1325, 620 left, 1 failed) (jobs: 10) Done: 55% (746/1346, 600 left, 1 failed) (jobs: 4) Done: 55% (770/1398, 628 left, 1 failed) (jobs: 4) Done: 55% (775/1404, 629 left, 1 failed) (jobs: 4) Done: 55% (781/1417, 636 left, 1 failed) (jobs: 3) Done: 55% (785/1417, 632 left, 1 failed) (jobs: 3) Done: 55% (795/1434, 639 left, 1 failed) (jobs: 3) Done: 55% (797/1434, 637 left, 1 failed) (jobs: 2) (cd _build/default/src/lib && /nix/store/rkg6zvx8ywa3v06dm9bhp8axsmpjhjcy-ott-0.33/bin/ott -sort false -generate_aux_rules true -o ast.lem -picky_multiple_parses true ../../language/sail.ott) Ott version 0.33 distribution of Mon 16 Jan 15:32:01 GMT 2023 Done: 55% (797/1434, 637 left, 1 failed) (jobs: 2) Done: 55% (798/1434, 636 left, 1 failed) (jobs: 3) (cd _build/default/src/lib && /nix/store/rkg6zvx8ywa3v06dm9bhp8axsmpjhjcy-ott-0.33/bin/ott -sort false -generate_aux_rules true -o jib.lem -picky_multiple_parses true ../../language/jib.ott) Ott version 0.33 distribution of Mon 16 Jan 15:32:01 GMT 2023 Done: 55% (798/1434, 636 left, 1 failed) (jobs: 3) Done: 55% (799/1434, 635 left, 1 failed) (jobs: 2) Done: 55% (801/1434, 633 left, 1 failed) (jobs: 2) Done: 56% (806/1434, 628 left, 1 failed) (jobs: 1) Done: 56% (814/1434, 620 left, 1 failed) (jobs: 8) Done: 57% (828/1434, 606 left, 1 failed) (jobs: 1) Done: 57% (828/1434, 606 left, 1 failed) (jobs: 1)