admin: update of cabal version in default.nix.