leangz-0.1.20

Current snapshot · amd64

Lean 4 .olean file (de)compressor

Project homepage: https://github.com/digama0/leangz

Description

Lean 4 .olean file (de)compressor

Package information

Ports path: archivers/leangz
Package architecture: amd64
Maintainer: Kirill A. Korinsky <kirill@korins.ky>
Categories: archivers, math, lang/rust
Available flavors: None listed

Ports list build and test dependencies as well as runtime dependencies. pkg_add selects those needed for installation.

Direct dependencies

Library

archivers/zstd

Build

devel/cargo-generate-vendor STEM->=1.1
lang/rust

Used by (1 dependency relationships)

Includes library, runtime, build and test dependencies.

Package guides

Installing and updating packages

Package details as JSON