• 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.

• found 3.7 with grep in /nix/store/bbaisjhmwyp4bpdidwisj3s59gacb6d7-compcert-3.7

• directory tree listing: https://gist.github.com/0a0f7c45a5824fdf49981acd55474e8c

• du listing: https://gist.github.com/325f041ddc07105d618a6b8281067603

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
compcert

Either download from Cachix:

nix-store -r /nix/store/bbaisjhmwyp4bpdidwisj3s59gacb6d7-compcert-3.7 \
  --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 compcert https://github.com/r-ryantm/nixpkgs/archive/d6aee72a9e5ef0e7cada3d39efb3f82487225119.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/bbaisjhmwyp4bpdidwisj3s59gacb6d7-compcert-3.7
ls -la /nix/store/bbaisjhmwyp4bpdidwisj3s59gacb6d7-compcert-3.7/bin