Merge dei file nixpkgs/config.nix di maggesi@neve e maggesi@virtux
Aggiornato HOL Light alla rev 167