max/cubical-transport-hott-lean4
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

Regenerate lake-manifest.json: package name cubicalTransport (was stale 'topolei')
Some checks are pending
Lean Action CI / build (push) Waiting to run
Details

Browse source
This commit is contained in:
Maximus Gorog 2026-04-27 23:00:01 -06:00
parent d9f952fa6c
commit 92bd67ac4a
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lake-manifest.json
View file

@ -1,6 +1,6 @@
{"version": "1.2.0", {"version": "1.2.0",
"packagesDir": ".lake/packages", "packagesDir": ".lake/packages",
"packages": [], "packages": [],
"name": "topolei", "name": "cubicalTransport",
"lakeDir": ".lake", "lakeDir": ".lake",
"fixedToolchain": false} "fixedToolchain": false}