DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #25 from HEPLean/Workflows

Browse source 
chore: Update Lean and MathLib versions
This commit is contained in:
Joseph Tooby-Smith 2024-05-14 14:01:35 -04:00 • committed by GitHub
commit e6d7f30e76
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 10 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

20
lake-manifest.json
View file

@ -1,11 +1,11 @@
{"version": 7,
"packagesDir": ".lake/packages",
"packages":
[{"url": "https://github.com/leanprover/std4",
[{"url": "https://github.com/leanprover-community/batteries",
"type": "git",
"subDir": null,
"rev": "789020bc2f7fbc330e33818075a94381da04de4e",
"name": "std",
"rev": "14f258593e8c261d8834f13c6edc7b970c253ee8",
"name": "batteries",
"manifestFile": "lake-manifest.json",
"inputRev": "main",
"inherited": true,
@ -22,19 +22,19 @@
{"url": "https://github.com/leanprover-community/aesop",
"type": "git",
"subDir": null,
"rev": "0a21a48c286c4a4703c0be6ad2045f601f31b1d0",
"rev": "f617e0673845925e612b62141ff54c4b7980dc63",
"name": "aesop",
"manifestFile": "lake-manifest.json",
"inputRev": "master",
"inherited": true,
"configFile": "lakefile.lean"},
"configFile": "lakefile.toml"},
{"url": "https://github.com/leanprover-community/ProofWidgets4",
"type": "git",
"subDir": null,
"rev": "fe1eff53bd0838c657aa6126fe4dd75ad9939d9a",
"rev": "e6b6247c61280c77ade6bbf0bc3c66a44fe2e0c5",
"name": "proofwidgets",
"manifestFile": "lake-manifest.json",
"inputRev": "v0.0.35",
"inputRev": "v0.0.36",
"inherited": true,
"configFile": "lakefile.lean"},
{"url": "https://github.com/leanprover/lean4-cli",
@ -49,7 +49,7 @@
{"url": "https://github.com/leanprover-community/import-graph.git",
"type": "git",
"subDir": null,
"rev": "7cec59317b9e4f2abbacb986c904614a113e8507",
"rev": "35e38eb320982cfd2fcc864e0e0467ca223c8cdb",
"name": "importGraph",
"manifestFile": "lake-manifest.json",
"inputRev": "main",
@ -58,7 +58,7 @@
{"url": "https://github.com/leanprover-community/mathlib4.git",
"type": "git",
"subDir": null,
"rev": "6a170326b1113dfb32dc5623c2b9a00a0e7d543f",
"rev": "b1087dd1d2d0075153f5ecffd8848d43cf02c042",
"name": "mathlib",
"manifestFile": "lake-manifest.json",
"inputRev": null,
@ -94,7 +94,7 @@
{"url": "https://github.com/leanprover/doc-gen4",
"type": "git",
"subDir": null,
"rev": "2756f6603c992f133c1157bfc07ab11b5a7a6738",
"rev": "b91fea210b7b6b451f19c6344d1f82765b9607af",
"name": "«doc-gen4»",
"manifestFile": "lake-manifest.json",
"inputRev": "main",