Nicolas Mattia de5a4e7d01 Update devshell (#367) ... * Update devshell Update nixpkgs and simplify devshell * Run ormolu * Fixups * Format nix files * Update sources		2023-03-11 22:16:53 +01:00
..
sources.json	Drop nixpkgs-channels in README, usage and examples	2020-07-13 21:59:11 +02:00
sources.nix	Update devshell (#367)	2023-03-11 22:16:53 +01:00