Merge branch 'upgrade-nixos-to-23.05' into 'develop'

Draft: Upgrade to nixos-23.05

See merge request !423

nixpkgs.json

 {
   "name": "source",
-  "url": "https://releases.nixos.org/nixos/22.11/nixos-22.11.4773.ea4c80b39be4/nixexprs.tar.xz",
-  "sha256": "1j7h75a9hwkkm97jicky5rhvzkdwxsv5v46473rl6agvq2sj97y1"
+  "url": "https://releases.nixos.org/nixos/23.05/nixos-23.05.4738.41de143fda10/nixexprs.tar.xz",
+  "sha256": "0bqq6l4c0k62g6a1npk9gbzf8j373859gvb7kxnpq5p5175mzw6d"
 }
\ No newline at end of file

tools/update-nixpkgs

@@ -10,7 +10,7 @@ from ps_tools import get_url_hash
 # We pass this to builtins.fetchTarball which only supports sha256
 HASH_TYPE = "sha256"
 
-DEFAULT_CHANNEL = "nixos-22.11"
+DEFAULT_CHANNEL = "nixos-23.05"
 CHANNEL_URL_TEMPLATE = "https://channels.nixos.org/{channel}/nixexprs.tar.xz"