aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 8 Pull Requests 2 Packages Projects Releases 1 Wiki Activity

chore: Update Lean4 upstream to unofficial flake #115

Open
aniva wants to merge 6 commits from misc/build into dev
pull from: misc/build
merge into: aniva:dev
Conversation 1 Commits 6 Files Changed 2 +4 -4
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit b99fecdb50 - Show all commits

6
flake.lock
View File

@ -42,11 +42,11 @@
"nixpkgs": "nixpkgs" "nixpkgs": "nixpkgs"
}, },
"locked": { "locked": {
"lastModified": 1729966280, "lastModified": 1729990097,
"narHash": "sha256-8G0n9POJW2zITB1m2h9+0GHA6lNlfsd2kssEqYLfK/U=", "narHash": "sha256-3RUciZy/VMbyp9v1f8oba/oQ8bWWVh2+1wsuUah3ryE=",
"owner": "lenianiva", "owner": "lenianiva",
"repo": "lean4-nix", "repo": "lean4-nix",
"rev": "169dfe5e5db6038801ecfdbe4391cb14c5e8d454", "rev": "6919763f186c7b0d39907203a649078ff3a4eb71",
"type": "github" "type": "github"
}, },
"original": { "original": {

2
flake.nix
View File

@ -28,7 +28,7 @@
perSystem = { system, pkgs, ... }: let perSystem = { system, pkgs, ... }: let
pkgs = import nixpkgs { pkgs = import nixpkgs {
inherit system; inherit system;
overlays = [ lean4-nix.tags."v4.12.0" ]; overlays = [ (lean4-nix.readToolchainFile ./lean-toolchain) ];
}; };
lspecLib = pkgs.lean.buildLeanPackage { lspecLib = pkgs.lean.buildLeanPackage {
name = "LSpec"; name = "LSpec";