Reservoir
No results found
All Packages
verso-manual
The Lean reference manual
Readme
Versions (8)
Dependencies (3)
Displaying
1-8
of
8
versions of
verso-manual
Sort by
Date
Not a part of any version track.
5fe820c
21 hours ago
Released on June 2, 2025 at 9:40:43PM
Commit 5fe820c fails to build on leanprover/lean4:v4.20.0
v4.20.0
Not a part of any version track.
4615564
v4.20.0
a day ago
Released on June 2, 2025 at 3:18:22PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.20.0
Not a part of any version track.
ed0b88c
v4.20.0-rc5
19 days ago
Released on May 15, 2025 at 9:26:02PM
Commit ed0b88c fails to build on leanprover/lean4:v4.20.0-rc5
v4.20.0-rc5
Not a part of any version track.
a0f16ed
v4.20.0-rc3
a month ago
Released on May 6, 2025 at 4:09:00AM
Commit a0f16ed fails to build on leanprover/lean4:v4.20.0-rc3
v4.20.0-rc3
Not a part of any version track.
f715b48
v4.20.0-rc2
a month ago
Released on May 2, 2025 at 9:53:06PM
Commit f715b48 fails to build on leanprover/lean4:v4.20.0-rc2
v4.20.0-rc2
Not a part of any version track.
cda73e5
v4.19.0
a month ago
Released on May 1, 2025 at 7:40:25PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.19.0
Not a part of any version track.
5e80464
v4.19.0-rc3
a month ago
Released on April 30, 2025 at 3:50:37PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.19.0-rc3
Not a part of any version track.
31a2ecd
v4.19.0-rc2
2 months ago
Released on April 4, 2025 at 12:38:06AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.19.0-rc2
1
20