kebekus/nevanlinna
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update lean

Browse Source
This commit is contained in:
Stefan Kebekus 2024-12-12 12:23:19 +01:00
parent ee7f20c593
commit 7dcc6e209c
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
lake-manifest.json
View File

@ -5,7 +5,7 @@
"type": "git",
"subDir": null,
"scope": "",
"rev": "a69e6fafa9665613ef0e905036e4d607b75769e0",
"rev": "07b2399c02d91a83fc030d165d734dca8d92a806",
"name": "mathlib",
"manifestFile": "lake-manifest.json",
"inputRev": null,
@ -55,10 +55,10 @@
"type": "git",
"subDir": null,
"scope": "leanprover-community",
"rev": "8b6048aa0a4a4b6bcf83597802d8dee734e64b7e",
"rev": "43bcb1964528411e47bfa4edd0c87d1face1fce4",
"name": "aesop",
"manifestFile": "lake-manifest.json",
"inputRev": "v4.15.0-rc1",
"inputRev": "master",
"inherited": true,
"configFile": "lakefile.toml"},
{"url": "https://github.com/leanprover-community/quote4",
@ -75,7 +75,7 @@
"type": "git",
"subDir": null,
"scope": "leanprover-community",
"rev": "c016aa9938c4cedc9b7066099f99bcae1b1af625",
"rev": "74dffd1a83cdd2969a31c9892b0517e7c6f50668",
"name": "batteries",
"manifestFile": "lake-manifest.json",
"inputRev": "main",