../trivmix/trivmix.nix