• built on NixOS

• The tests defined in passthru.tests, if any, passed

• 0 of 0 passed binary check by having a zero exit code.

• 0 of 0 passed binary check by having the new version present in output.

• directory tree listing: https://gist.github.com/e0b9ba580626419c6d6df08b3ecd576b

• du listing: https://gist.github.com/7acce0da420345c992eddf52bab0be85

2 total rebuild path(s)

1 package rebuild(s)

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

First fifty rebuilds by attrpath
metis-prover

Either download from Cachix:

nix-store -r /nix/store/klmgxdgabvvvmxhajg56fwzgnajzjssi-metis-prover-2.4.20180810 \
  --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 metis-prover https://github.com/r-ryantm/nixpkgs/archive/1efed1e1bf92f24e467487645cb96046ce75362f.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/klmgxdgabvvvmxhajg56fwzgnajzjssi-metis-prover-2.4.20180810
ls -la /nix/store/klmgxdgabvvvmxhajg56fwzgnajzjssi-metis-prover-2.4.20180810/bin