New comment by VoidNoire on void-packages repository https://github.com/void-linux/void-packages/issues/27378#issuecomment-750415986 Comment: > I already get reordering errors on step 2. Ah it's the same for me with the `nix` set up. I guess it's an issue with the `idris2` build process and not with Void's `chez-scheme` package then. Sorry for the hassle! I'll close the issue now.