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

Update lake-manifest.json

Browse Source
This commit is contained in:
Stefan Kebekus 2024-12-18 08:47:40 +01:00
parent 309724de36
commit cc7d96124c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lake-manifest.json
View File

@ -5,7 +5,7 @@
"type": "git",
"subDir": null,
"scope": "",
"rev": "07b2399c02d91a83fc030d165d734dca8d92a806",
"rev": "2144977fb121989a45d3f6e4d74fd8ab2350db3e",
"name": "mathlib",
"manifestFile": "lake-manifest.json",
"inputRev": null,
@ -75,7 +75,7 @@
"type": "git",
"subDir": null,
"scope": "leanprover-community",
"rev": "74dffd1a83cdd2969a31c9892b0517e7c6f50668",
"rev": "9e583efcea920afa13ee2a53069821a2297a94c0",
"name": "batteries",
"manifestFile": "lake-manifest.json",
"inputRev": "main",