Rimosso environment.systemPackages nella configurazione di elio (usa nix-env invece).
Nuova versione di hydra.
Nuova versione di hydra.
IP fisso 150.217.33.63 per neve.
Tentativo di risolvere il problema di valutazione di dolly
Merge branch 'master' of ssh://elio.math.unifi.it/~/Repos/Git/nixconfs
Merge branch 'master' of https://github.com/maggesi/nixconfs
Merge branch 'holl-mode' of https://github.com/maggesi/nixconfs into holl-mode