flake.lock: Update

Flake lock file updates:

• Updated input 'flake-compat':
    'github:edolstra/flake-compat/009399224d5e398d03b22badca40a37ac85412a1' (2022-11-17)
  → 'github:edolstra/flake-compat/35bb57c0c8d8b62bbfd284272c928ceb64ddbde9' (2023-01-17)
• Updated input 'nixpkgs':
    'github:NixOS/nixpkgs/dfef2e61107dc19c211ead99a5a61374ad8317f4' (2022-12-11)
  → 'github:NixOS/nixpkgs/8163a64662b43848802092d52015ef60777d6129' (2023-07-11)

Author: mmarx

flake.lock

@@ -2,7 +2,7 @@
   description = "Rulewerk, a java toolkit for reasoning with existential rules";
 
   inputs = {
-    nixpkgs.url = "github:NixOS/nixpkgs/nixos-22.11";
+    nixpkgs.url = "github:NixOS/nixpkgs/nixos-23.05";
     utils.url = "github:gytis-ivaskevicius/flake-utils-plus";
     gitignore = {
       url = "github:hercules-ci/gitignore.nix";