Code

Update Nix configuration#178

Code

Draft

Niols wants to merge 7 commits intomaincolis-anr/morbig:mainfrom update-nix-configcolis-anr/morbig:update-nix-configCopy head branch name to clipboard

+69-69

Commits

Commits on Jun 20, 2023

• Avoid repeating input names

  Niols

  committed
  1840da7

• Ignore pre-commit-hooks's nixpkgs-stable input

  Niols

  committed
  47aef6c

• Update Nix flake

  Niols

  committed
  ec45059

• Use pre-commit-hooks's fixed dune-fmt hook

  Niols

  committed
  28dc453

• Create one development environment per package

  Niols

  committed
  34f990a

• Add description to each package

  Niols

  committed
  f9cf2cd

Commits on Sep 17, 2023

• Merge branch 'main' into update-nix-config

  Niols

  authored
  e29955a