ocamlPackages.dolmen 0.9 -> 0.10 https://github.com/Gbury/dolmen/releases attrpath: ocamlPackages.dolmen 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/dolmen/default.nix b/pkgs/development/ocaml-modules/dolmen/default.nix index fede56388a77..4f49ed49a51c 100644 --- a/pkgs/development/ocaml-modules/dolmen/default.nix +++ b/pkgs/development/ocaml-modules/dolmen/default.nix @@ -6,13 +6,13 @@ buildDunePackage rec { pname = "dolmen"; - version = "0.9"; + version = "0.10"; minimalOCamlVersion = "4.08"; src = fetchurl { url = "https://github.com/Gbury/dolmen/releases/download/v${version}/dolmen-${version}.tbz"; - hash = "sha256-AD21OFS6zDoz+lXtac95gXwQNppPfGvpRK8dzDZXigo="; + hash = "sha256-xchfd+OSTzeOjYLxZu7+QTG04EG/nN7KRnQQ8zxx+mE="; }; nativeBuildInputs = [ menhir ]; Received ExitFailure 1 when running Raw command: /nix/store/hvkjjva2knprwmqaa989wrxhlw3zc19v-nix-2.18.5/bin/nix-build --option sandbox true --arg config "{ allowBroken = true; allowUnfree = true; allowAliases = false; }" --arg overlays "[ ]" -A ocamlPackages.dolmen nix build failed. @nix { "action": "setPhase", "phase": "configurePhase" } no configure script, doing nothing Running phase: buildPhase @nix { "action": "setPhase", "phase": "buildPhase" } Scanned 0 directories Done: 0% (0/0, 0 left) (jobs: 0) Done: 100% (2/2, 0 left) (jobs: 0) Done: 100% (2/2, 0 left) (jobs: 0) Done: 2% (10/466, 456 left) (jobs: 0) File "src/standard/dune", line 4, characters 42-46: 4 | (libraries dolmen_intf dolmen_line hmap unix fmt) ^^^^ Error: Library "hmap" not found. -> required by library "dolmen.std" in _build/default/src/standard -> required by _build/default/META.dolmen -> required by _build/install/default/lib/dolmen/META -> required by _build/default/dolmen.install -> required by alias install Done: 2% (10/466, 456 left) (jobs: 0) Done: 2% (14/610, 596 left, 1 failed) (jobs: 0) Done: 21% (168/765, 597 left, 1 failed) (jobs: 0) Done: 19% (196/1023, 827 left, 1 failed) (jobs: 0) Done: 21% (224/1037, 813 left, 1 failed) (jobs: 0) Done: 27% (295/1076, 781 left, 1 failed) (jobs: 4) Done: 28% (307/1088, 781 left, 1 failed) (jobs: 1) Done: 24% (310/1251, 941 left, 1 failed) (jobs: 3) Done: 24% (326/1357, 1031 left, 1 failed) (jobs: 4) Done: 25% (352/1360, 1008 left, 1 failed) (jobs: 24) Done: 29% (398/1360, 962 left, 1 failed) (jobs: 24) Done: 33% (453/1360, 907 left, 1 failed) (jobs: 24) Done: 36% (499/1360, 861 left, 1 failed) (jobs: 18) Done: 38% (541/1395, 854 left, 1 failed) (jobs: 16) Done: 40% (569/1395, 826 left, 1 failed) (jobs: 8) Done: 41% (576/1395, 819 left, 1 failed) (jobs: 24) (cd _build/default/src/languages/icnf && /nix/store/nzbzj27akh1vf0p9a232nb7ch945i5ch-ocaml5.1.1-menhir-20231231/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/icnf/syntax_messages.ml Read 20 sample input sentences and 20 error messages. Done: 41% (576/1395, 819 left, 1 failed) (jobs: 24) (cd _build/default/src/languages/dimacs && /nix/store/nzbzj27akh1vf0p9a232nb7ch945i5ch-ocaml5.1.1-menhir-20231231/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/dimacs/syntax_messages.ml Read 18 sample input sentences and 18 error messages. Done: 41% (576/1395, 819 left, 1 failed) (jobs: 24) Done: 43% (611/1395, 784 left, 1 failed) (jobs: 24) (cd _build/default/src/languages/smtlib2/v2.6/response && /nix/store/nzbzj27akh1vf0p9a232nb7ch945i5ch-ocaml5.1.1-menhir-20231231/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/smtlib2/v2.6/response/syntax_messages.ml Read 109 sample input sentences and 109 error messages. Done: 43% (611/1395, 784 left, 1 failed) (jobs: 24) (cd _build/default/src/languages/zf && /nix/store/nzbzj27akh1vf0p9a232nb7ch945i5ch-ocaml5.1.1-menhir-20231231/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/zf/syntax_messages.ml Read 128 sample input sentences and 128 error messages. Done: 43% (611/1395, 784 left, 1 failed) (jobs: 24) (cd _build/default/src/languages/smtlib2/poly && /nix/store/nzbzj27akh1vf0p9a232nb7ch945i5ch-ocaml5.1.1-menhir-20231231/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/smtlib2/poly/syntax_messages.ml Read 321 sample input sentences and 321 error messages. Done: 43% (611/1395, 784 left, 1 failed) (jobs: 24) Done: 46% (643/1395, 752 left, 1 failed) (jobs: 24) (cd _build/default/src/languages/smtlib2/v2.6/script && /nix/store/nzbzj27akh1vf0p9a232nb7ch945i5ch-ocaml5.1.1-menhir-20231231/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/smtlib2/v2.6/script/syntax_messages.ml Read 255 sample input sentences and 255 error messages. Done: 46% (643/1395, 752 left, 1 failed) (jobs: 24) (cd _build/default/src/languages/ae && /nix/store/nzbzj27akh1vf0p9a232nb7ch945i5ch-ocaml5.1.1-menhir-20231231/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/ae/syntax_messages.ml Read 241 sample input sentences and 241 error messages. Done: 46% (643/1395, 752 left, 1 failed) (jobs: 24) (cd _build/default/src/languages/tptp/v6.3.0 && /nix/store/nzbzj27akh1vf0p9a232nb7ch945i5ch-ocaml5.1.1-menhir-20231231/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/tptp/v6.3.0/syntax_messages.ml Read 342 sample input sentences and 342 error messages. Done: 46% (643/1395, 752 left, 1 failed) (jobs: 24) Done: 48% (695/1422, 727 left, 1 failed) (jobs: 8) Done: 50% (716/1422, 706 left, 1 failed) (jobs: 16) Done: 52% (749/1422, 673 left, 1 failed) (jobs: 2) Done: 52% (751/1422, 671 left, 1 failed) (jobs: 1)