gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update pkgs/build-support/agda/default.nix

Browse Source 
Co-authored-by: Philip Taron <philip.taron@gmail.com>
This commit is contained in:
Carlos Tomé Cortiñas
2025-10-28 18:21:22 +01:00
co-authored by Philip Taron
parent f933041b6c
commit 4c64e800a3
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/build-support/agda/default.nix
+1 -1
View File
@@ -45,7 +45,7 @@ let
}:
let
libraryFile = mkLibraryFile pkgs;
pname = "${Agda.meta.mainProgram}" + "WithPackages";
pname = "${Agda.meta.mainProgram}WithPackages";
version = Agda.version;
in
runCommand "${pname}-${version}"