BSD Ports

math/leantar 0.1.20 NetBSD

Lean 4 .olean file (de)compressor

System
NetBSD
Repository
pkgsrc
Maintainer
[email protected]
Port added
Last update
Commit
b6618ab3b8
License
apache-2.0
Categories
math, devel
Package size
841.9 KiB, 4139.5 KiB installed

Description

Lean 4 .olean file (de)compressor.

Install

Binary package:

pkgin install leantar

From pkgsrc:

cd /usr/pkgsrc/math/leantar && make install clean

Dependencies

Required by 1

Commit history 3

DateCommitCreditsLog message
b6618ab3b8 wiz leantar: update to 0.1.21.
Changes not documented.
8b6a5afc5d wiz leantar: set GITHUB_PROJECT
df1d359108 wiz math/leantar: import leantar-0.1.20
Lean 4 .olean file (de)compressor.