Dear guix, antipode on #guix told me that these archaic tests to determine the openssl target should be replaced with the new target predicates in (guix utils), and that the kernel and the architecture should be dealt with independently. However, it seems that mingw targets do not use the same scheme, so I had to keep that special case. I had to introduce a new predicate for mips64el. As far as I understand, this is also a 64-bit target, so it should also be detected by target-64bit?, but fortunately this is already the case, so I don’t have to change target-64bit?. I don’t think there are other predicates that I should change, but I may be wrong. What do you think? Best regards, Vivien