../trivmix/package.nix