Skip to content

Update nixpkgs

0b8a97d
Select commit
Loading
Failed to load commit list.
Merged

Update flake.nix to use latest agda.nix #994

Update nixpkgs
0b8a97d
Select commit
Loading
Failed to load commit list.