BSD Ports

archivers/leangz 0.1.20 OpenBSD

Lean 4 .olean file (de)compressor

System
OpenBSD
Repository
OpenBSD ports
Maintainer
Kirill A. Korinsky <[email protected]>
Port added
Last update
Commit
da1f643634
Categories
archivers, math, lang/rust

Description

Lean 4 .olean file (de)compressor

In the other systems

SystemPortVersion
OpenBSDarchivers/leangz0.1.20
FreeBSDmath/leangz0.1.21
DragonFlymath/leangz0.1.13_1
HardenedBSDmath/leangz0.1.20_1
GhostBSDmath/leangz0.1.20_1

Install

Binary package:

pkg_add leangz

From the ports tree:

cd /usr/ports/archivers/leangz && make install

Dependencies

Build dependencies 2
Run dependencies 1
Required by 1

Commit history 1

DateCommitCreditsLog message
da1f643634 kirill archivers/leangz: new port (version 0.1.20)
Required as build dependency for math/lean update OK: tb@