hd/cfg
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

maintenance

Browse source
This commit is contained in:
Henri Dohmen 2025-11-01 11:58:11 +01:00
parent e23fbeda9d
commit 97134ce956
Signed by: hd
GPG key ID: AB79213B044674AE
3 changed files with 1 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
devshells/default.nix
View file

@ -1,6 +1,6 @@
{ pkgs }:
{
agda = pkgs.mkShell {
buildINputs = with pkgs; [ agda ];
buildInputs = with pkgs; [ agda ];
};
}