Prerequisites

Skip this is you already have nix and/or direnv installed.

Install nix

Follow the guide here

Install nix-direnv

Follow the guide here

Use this flake

Add to your repository

nix registry add flakies git+https://git.earth2077.fr/leana/flakies

Generate from the templates

nix flake init flakies#query # replace query with your module of liking

Haskell

ghc 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.

# (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