Stefan Höck

Thanks again for you work on this. I'm very happy that the random-number generation is no longer part of hedgehog.

If this is only about building and installing the pack application under nix, I suggest to not use micropack but write something similar to our [installation script](https://github.com/stefan-hoeck/idris2-pack/blob/main/install.bash). This will make...

Using `pack switch latest` is indeed the correct way to do this. Unfortunately, this is indeed not yet properly documented. It would be great if we had a section about...

> That's strange. I set alternative Idris version in local `pack.toml` files many times, never passed the `--bootstrap` option and still never ran into this problem. How can this be?...

This has been fixed in #280, so I'm going to close this. Feel free to reopen if this is still an issue.

> since my postinstall mainly prints to stdout, it's possible that `pack install` is running `postinstall` but is supressing the output Can you try running with `pack --log-level debug` and...

> I also just verified that `pack install` without `--log-level debug` does run `postinstall` - I used it to create a file. So it's definitely just suppressing output Yes, this...

I'm closing this, at it describes expected behavior. Feel free to reopen if you want to further discuss this issue.

> Can I ask why this is the intended behaviour? Why is it different from `postbuild`? The difference is not about the postbuild and postinstall hooks but that - as...

That's strange. On my machine, pack caches only when I run `pack switch` or `pack fetch`. Do you have custom `pack.toml` files with `commit = "main:fetch-latest"` meta commits? These connect...