New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
prooftree: cleaning #48168
prooftree: cleaning #48168
Conversation
Success on aarch64-linux (full log) Attempted: prooftree Partial log (click to expand)
|
Success on x86_64-darwin (full log) Attempted: prooftree Partial log (click to expand)
|
Success on x86_64-linux (full log) Attempted: prooftree Partial log (click to expand)
|
pkgs/top-level/all-packages.nix
Outdated
@@ -21277,10 +21277,7 @@ with pkgs; | |||
|
|||
libpoly = callPackage ../applications/science/logic/poly {}; | |||
|
|||
prooftree = (with ocaml-ng.ocamlPackages_4_01_0; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Was there maybe a reason this specific version of ocaml was used?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I suppose it was not compatible with our default, newer ocaml before that.
Success on x86_64-linux (full log) Attempted: prooftree Partial log (click to expand)
|
Success on x86_64-darwin (full log) Attempted: prooftree Partial log (click to expand)
|
Success on aarch64-linux (full log) Attempted: prooftree Partial log (click to expand)
|
Motivation for this change
#48159
Things done
sandbox
innix.conf
on non-NixOS)nix-shell -p nox --run "nox-review wip"
./result/bin/
)nix path-info -S
before and after)cc @jwiegley, maintainer.