chore: Release v4.17.0 (#2)

Add `pkg-config` to `buildInputs`

Update aesop in template

Author: samuelburnham

.gitignore

@@ -1,3 +1,4 @@
 !.gitignore
-/result
 templates/**/flake.lock
+**/result*
+**/.lake

manifests/default.nix

@@ -5,4 +5,5 @@
   "v4.14.0" = import ./v4.14.0.nix;
   "v4.15.0" = import ./v4.15.0.nix;
   "v4.16.0" = import ./v4.16.0.nix;
+  "v4.17.0" = import ./v4.17.0.nix;
 }

manifests/v4.14.0.nix

@@ -25,6 +25,7 @@
     darwin,
     llvmPackages,
     linkFarmFromDrvs,
+    pkg-config,
     ...
   } @ args:
     with builtins; rec {
@@ -33,7 +34,7 @@
       buildCMake = args:
         stdenv.mkDerivation ({
             nativeBuildInputs = [cmake];
-            buildInputs = [gmp libuv llvmPackages.llvm];
+            buildInputs = [gmp libuv llvmPackages.llvm pkg-config];
             # https://github.com/NixOS/nixpkgs/issues/60919
             hardeningDisable = ["all"];
             dontStrip = args.debug or debug;

manifests/v4.17.0.nix

@@ -0,0 +1,5 @@
+{
+  tag = "v4.17.0";
+  rev = "306f36116535cd226329f562b4675b8b6dbf948c";
+  inherit (import ./v4.14.0.nix) bootstrap;
+}

templates/dependency/lake-manifest.json

@@ -5,20 +5,20 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "44dab9f36aa73d5f789629b55528c5a1501877a6",
+   "rev": "56a2c80b209c253e0281ac4562a92122b457dcc0",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.16.0",
+   "inputRev": "v4.17.0",
    "inherited": false,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover-community/batteries",
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "01006c9e86bf9e397c026fef4190478dd1fd897e",
+   "rev": "efcc7d9bd9936ecdc625baf0d033b60866565cd5",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.16.0",
+   "inputRev": "v4.17.0",
    "inherited": true,
    "configFile": "lakefile.toml"}],
  "name": "Example",

templates/dependency/lakefile.lean

@@ -2,7 +2,7 @@ import Lake
 open Lake DSL
 
 require aesop from git
-  "https://github.com/leanprover-community/aesop.git" @ "v4.16.0"
+  "https://github.com/leanprover-community/aesop.git" @ "v4.17.0"
 
 package Example
 

templates/dependency/lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.16.0
+leanprover/lean4:v4.17.0

templates/minimal/lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.16.0
+leanprover/lean4:v4.17.0