On 12/05/15 12:49, Lluís Batlle i Rossell wrote: > Yes. Maybe it got renamed... It used to be named 'amd32'.
It's called x32: http://en.wikipedia.org/wiki/X32_ABI -- Eelco Dolstra | LogicBlox, Inc. | http://nixos.org/~eelco/ _______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev