FreeBSD.software

Home/math/leangz

leangz

0.1.14math

Lean 4 .olean file (de)compressor

Lean 4 .olean file (de)compressor.

$pkg install leangz

github.com/digama0/leangz ↗

Origin

math/leangz

Size

1.87MiB

License

APACHE20

Maintainer

yuri@FreeBSD.org

Dependencies

1 packages

Required by

0 packages

Dependencies (1)