search

Mesabloo / isabelle.nix

Defines a Nix flake for Isabelle 2022
MIT License
1 stars 1 forks source link

Hash mismatch when building Isabelle #1

Open mpardalos opened 8 months ago

mpardalos commented 8 months ago

I am getting the following error when trying to build isabelle from this flake:

$ nix build github:Mesabloo/isabelle.nix#isabelle
error: hash mismatch in fixed-output derivation '/nix/store/9adbdrd1d99gbsg2qkfacls196fylk2g-Isabelle2023-vsce.tar.gz.drv':
         specified: sha256-nE6Ec+4XA3LdC+dFwY7leUvS8EluQJEjclMm3lN39rQ=
            got:    sha256-3Vxt9EDe++lzLSL6vy8iWNOXfwmi3ZEXhVAAvrbSNi0=
error: 1 dependencies of derivation '/nix/store/av3p50zqgj4j9zwdw3rzx254vrzs99y9-isabelle-2023.drv' failed to build
Mesabloo commented 4 weeks ago

Oops, this issue did not come in my mail, sorry! A hash mismatch means that there has been some new commits since the last time I edited these files. A better alternative would be to fetch https://github.com/m-fleury/isabelle-emacs/archive/bd8fd356fbd373ff9e78cea09a58ba6de1d6ccfc3.tar.gz directly (here: https://github.com/Mesabloo/isabelle.nix/blob/main/isabelle.nix#L219), and put the correct hash there (which can be obtained using the nix-prefetch-git command as far as I know, or trying to build the flake with a wrong hash).

Unfortunately, I haven't used Nix nor Isabelle in a while, so I'm not sure how to test it now. Would you mind opening a PR with the correct hash?