issues
search
digama0
/
leangz
Lean 4 .olean file (de)compressor
Apache License 2.0
5
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
leantar is very slow when .lake directory is on nfs network
#3
tobiasgrosser
opened
4 months ago
2
Include the destination directory in the error message
#2
eric-wieser
opened
7 months ago
1
Please add the LICENSE file into the repository root
#1
yurivict
closed
8 months ago
0