add gmp dev

This commit is contained in:
Nathan McCarty 2023-01-01 18:38:21 -05:00
parent 5716c5182b
commit 5f404c4ea5
Signed by: thatonelutenist
GPG Key ID: D70DA3DD4D1E9F96
1 changed files with 1 additions and 1 deletions

View File

@ -6,6 +6,6 @@ in with lib; {
(mkIf nathan.programs.utils.binfmt {
boot.binfmt.emulatedSystems = [ "aarch64-linux" ];
})
{ environment.systemPackages = with pkgs; [ gmp ]; }
{ environment.systemPackages = with pkgs; [ gmp gmp.dev ]; }
];
}