Reservoir
No results found
All Packages
leanblas
Bindings and specification for BLAS
Readme
Versions (12)
Dependencies (9)
Displaying
1-12
of
12
versions of
leanblas
Sort by
Date
Not a part of any version track.
37f21ab
4 days ago
Released on May 30, 2025 at 8:33:02AM
Commit 37f21ab fails to build on leanprover/lean4:v4.20.0-rc5
v4.20.0-rc5
Not a part of any version track.
21ed3b7
v4.19.0
5 days ago
Released on May 29, 2025 at 6:09:32PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.19.0
Not a part of any version track.
710e349
v4.19.0-rc2
2 months ago
Released on April 8, 2025 at 8:18:58PM
Commit 710e349 builds on its old leanprover/lean4:v4.19.0-rc2
v4.19.0-rc2
612.5 KB
Build archive size: 612468 bytes.
Not a part of any version track.
8e9fe7b
v4.18.0
2 months ago
Released on April 7, 2025 at 8:01:23PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.18.0
Not a part of any version track.
27b1c76
v0.0.8
4 months ago
Released on February 18, 2025 at 10:54:18PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.16.0
Not a part of any version track.
9386dfd
v0.0.7
4 months ago
Released on February 18, 2025 at 5:18:54AM
Commit 9386dfd fails to build on leanprover/lean4:v4.16.0
v4.16.0
Not a part of any version track.
393147a
v0.0.6
4 months ago
Released on February 18, 2025 at 4:47:04AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.16.0
Not a part of any version track.
b511abe
v0.0.5
4 months ago
Released on February 18, 2025 at 4:11:07AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.16.0
Not a part of any version track.
660f736
v0.0.4
4 months ago
Released on February 18, 2025 at 3:51:13AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.16.0
Not a part of any version track.
626dde8
v0.0.3
4 months ago
Released on February 18, 2025 at 2:39:07AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.16.0
Not a part of any version track.
437b28c
v0.0.2
4 months ago
Released on February 18, 2025 at 1:25:58AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.16.0
Not a part of any version track.
c570e92
v0.0.1
4 months ago
Released on February 18, 2025 at 1:03:27AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.16.0
1
20