!RbXGJhHMsnQcNIDFWN:nixos.org

Haskell in Nixpkgs/NixOS

732 Members
For discussions and questions about Haskell with Nix, cabal2nix and haskellPackages in nixpkgs | Current Docs: https://haskell4nix.readthedocs.io/145 Servers

You have reached the beginning of time (for this room).

SenderMessageTime
13 Aug 2025
@maralorn:maralorn.demaralornSo in this case we would want Z3 to be compiled for the target plattform, right? And for that it should be nativeCheckInputs and not checkInputs?18:07:40
@qyliss:fairydust.spaceAlyssa RossWe would want it to be for the build platform, I thought18:07:54
@emilazy:matrix.orgemilyI assume the library invokes Z3 at runtime18:08:05

Show newer messages

Back to Room ListRoom Version: 6