Skip to content
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

eprover: 2.4 -> 2.5 #94389

Merged
merged 1 commit into from Aug 1, 2020
Merged

eprover: 2.4 -> 2.5 #94389

merged 1 commit into from Aug 1, 2020

Conversation

@r-ryantm
Copy link
Contributor

r-ryantm commented Jul 31, 2020

Semi-automatic update generated by nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/eprover/versions.

meta.description for eprover is: "Automated theorem prover for full first-order logic with equality"

meta.homepage for eprover is: "http://www.eprover.org/"

meta.changelog for eprover is: ""

Updates performed
  • Version update
To inspect upstream changes
Impact
Checks done (click to expand)

Rebuild report (if merged into master) (click to expand)
13 total rebuild path(s)

4 package rebuild(s)

4 x86_64-linux rebuild(s)
4 i686-linux rebuild(s)
1 x86_64-darwin rebuild(s)
4 aarch64-linux rebuild(s)


First fifty rebuilds by attrpath
eprover
iprover
leo2
satallax
Instructions to test this update (click to expand)

Either download from Cachix:

nix-store -r /nix/store/n4pd0mjw0zljrm4i7xb04rh1w6kms211-eprover-2.5 \
  --option binary-caches 'https://cache.nixos.org/ https://r-ryantm.cachix.org/' \
  --option trusted-public-keys '
  r-ryantm.cachix.org-1:gkUbLkouDAyvBdpBX0JOdIiD2/DP1ldF3Z3Y6Gqcc4c=
  cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
  '

(r-ryantm's Cachix cache is only trusted for this store-path realization.)
For the Cachix download to work, your user must be in the trusted-users list or you can use sudo since root is effectively trusted.

Or, build yourself:

nix-build -A eprover https://github.com/r-ryantm/nixpkgs/archive/202ce2d867924567e6f23ea1f3ca721af50c7560.tar.gz

After you've downloaded or built it, look at the files and if there are any, run the binaries:

ls -la /nix/store/n4pd0mjw0zljrm4i7xb04rh1w6kms211-eprover-2.5
ls -la /nix/store/n4pd0mjw0zljrm4i7xb04rh1w6kms211-eprover-2.5/bin


Pre-merge build results

We have automatically built all packages that will get rebuilt due to
this change.

This gives evidence on whether the upgrade will break dependent packages.
Note sometimes packages show up as failed to build independent of the
change, simply because they are already broken on the target branch.

Result of nixpkgs-review 1

1 package failed to build:
  • leo2
3 packages built:
  • eprover
  • iprover
  • satallax

Maintainer pings

cc @7c6f434c @gebner for testing.

@gebner
Copy link
Member

gebner commented Aug 1, 2020

LEO-II is already broken on master (because the vendored minisat doesn't build).

@gebner gebner merged commit aa37dc8 into NixOS:master Aug 1, 2020
17 checks passed
17 checks passed
Evaluation Performance Report Evaluator Performance Report
Details
eprover, eprover.passthru.tests on aarch64-linux Success
Details
eprover, eprover.passthru.tests on x86_64-darwin Success
Details
eprover, eprover.passthru.tests on x86_64-linux Success
Details
grahamcofborg-eval ^.^!
Details
grahamcofborg-eval-check-maintainers matching changed paths to changed attrs...
Details
grahamcofborg-eval-check-meta config.nix: checkMeta = true
Details
grahamcofborg-eval-darwin nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="202ce2d"; rev="202ce2d867924567e6f23ea1f3ca721af50c7560"; } ./pkgs/t
Details
grahamcofborg-eval-lib-tests nix-build --arg pkgs import ./. {} ./lib/tests/release.nix
Details
grahamcofborg-eval-nixos nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="202ce2d"; rev="202ce2d867924567e6f23ea1f3ca721af50c7560"; } ./nixos/
Details
grahamcofborg-eval-nixos-manual nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="202ce2d"; rev="202ce2d867924567e6f23ea1f3ca721af50c7560"; } ./nixos/
Details
grahamcofborg-eval-nixos-options nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="202ce2d"; rev="202ce2d867924567e6f23ea1f3ca721af50c7560"; } ./nixos/
Details
grahamcofborg-eval-nixpkgs-manual nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="202ce2d"; rev="202ce2d867924567e6f23ea1f3ca721af50c7560"; } ./pkgs/t
Details
grahamcofborg-eval-nixpkgs-tarball nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="202ce2d"; rev="202ce2d867924567e6f23ea1f3ca721af50c7560"; } ./pkgs/t
Details
grahamcofborg-eval-nixpkgs-unstable-jobset nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="202ce2d"; rev="202ce2d867924567e6f23ea1f3ca721af50c7560"; } ./pkgs/t
Details
grahamcofborg-eval-package-list nix-env -qa --json --file .
Details
grahamcofborg-eval-package-list-no-aliases nix-env -qa --json --file . --arg config { allowAliases = false; }
Details
@r-ryantm r-ryantm deleted the r-ryantm:auto-update/eprover branch Aug 1, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.