The archivers/leangz port

leangz-0.1.20 – Lean 4 .olean file (de)compressor (cvsweb github mirror)

Description

Lean 4 .olean file (de)compressor

WWW: https://github.com/digama0/leangz

Maintainer

Kirill A. Korinsky

Categories

archivers lang/rust math

Library dependencies

archivers/zstd

Build dependencies

Reverse dependencies

math/lean

Files

/usr/local/bin/leangz
/usr/local/bin/leantar