Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* Otherwise ghc and friends will be compiled from source. * There is a nix failure independent of this change which can be fixed by deleting the .pre-commit-config.yaml. This should be checked.
- Loading branch information