Reservoir
No results found
All Packages
verso-manual
The Lean reference manual
Readme
Versions (6)
Dependencies (3)
Displaying
1-6
of
6
versions of
verso-manual
Sort by
Date
Not a part of any version track.
a0f16ed
v4.20.0-rc3
5 days 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.
a0f16ed
v4.20.0-rc3
5 days 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
9 days 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
10 days 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
11 days 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
a month 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