Prerequisites
Follow the guide here
Follow the guide here
nix registry add flakies github:leana8959/flakiesnix flake init flakies#query # replace query with your module of likingThis template has been moved to https://github.com/leana8959/.files as a package. Do
nix build github:leana8959/.files#why3ghc version status
ghc boot library version history
Proven to work pins
If the exact version you're looking for is not on the list, pick the closest one
and use the haskell.packages.ghcXYZ package set.
# (June 28 2023) stackage LTS 20.26 / ghc928 (Last of 9.2.x) / hls ?
nixpkgs.url = "github:NixOS/nixpkgs/ca6912ef4e004e09637dcbeed71dd352f11aaa76";
# (Jan 7 2024) stackage LTS 21.25 / ghc948 (Last of 9.4.x) / hls 2.5.0.0
nixpkgs.url = "github:NixOS/nixpkgs/edebca765c17d551b9634c02f6a02f1b122e0ba0";
# (Jan 22 2024) stackage LTS 22.16 / ghc964 / hls 2.7.0.0
nixpkgs.url = "github:NixOS/nixpkgs/e4330b3996980ccf70918af3c86ea3d89cd5433d";
# (May 19 2024) stackage LTS 22.22 / ghc965 (last of 9.6.x) / hls 2.8.0.0
# NOTE: this is not the "last" rev before the next version
nixpkgs.url = "github:NixOS/nixpkgs/1faadcf5147b9789aa05bdb85b35061b642500a4";Credits:
- Sigmanificient for the help with why3 template