Re: [Nix-dev] Typing nix − funding campaign

Regarding subtying, I wonder if you're familiar with [1]. This was described to me as "the right approach to subtyping". I can't myself judge, but it does sound cool. 1. https://www.cl.cam.ac.uk/~sd601/thesis.pdf On 30 March 2017 at 08:05, Théophane Hufschmitt wrote: > Hi

[Nix-dev] 32-bit DRI drivers on 64-bit NixOS

Hi! I have a problem with /run/opengl-driver-32 being a symbolic link to /run/opengl-driver on 64-bit machines. The directory contains DRI drivers that are being dynamically linked against 32-bit programs. Obviously the 64-bit libraries contained in /run/opengl-driver fail to link with those.

Re: [Nix-dev] 32-bit DRI drivers on 64-bit NixOS

Indeed services.xserver.driSupport32Bit = true; solves the problem. Thank you! Is there any reason to have the link created whenever driSupport32Bit is false though? ___ nix-dev mailing list nix-dev@lists.science.uu.nl