BSD Ports

math/leangz 0.1.21 FreeBSD

Lean 4 .olean file (de)compressor

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
Last update
Commit
068da91964
License
APACHE20
Categories
math
Package size
518.9 KiB, 1870.8 KiB installed

Description

Lean 4 .olean file (de)compressor.

It is used in tests of math/lean4. leantar is developed by the community, not by the Lean4 project iotself.

In the other systems

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

Install

Binary package:

pkg install leangz

From the ports tree:

cd /usr/ports/math/leangz/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	leangz>0:math/leangz

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latest0.1.210.1.21---
FreeBSD:14:quarterly0.1.20_10.1.20_1n/a--
FreeBSD:15:latest0.1.210.1.21n/a--
FreeBSD:15:quarterly0.1.20_10.1.20_1n/an/an/a
FreeBSD:16:latest0.1.20_10.1.21n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

As this port's Makefile names them.

Build 1

Library 1

The full lists below include those, and their dependencies in turn.

Build dependencies 12
Run dependencies 2
Required by 1

Configuration

No options to configure.

USES
cargo
Service scripts
none

Files

distinfo 71
FileSizeSHA256
rust/crates/adler2-2.0.0.crate13529512761e0bb2578dd7380c6baaa0f4ce03e84f95e960231d1dec8bf4d7d6e2627
rust/crates/allocator-api2-0.2.21.crate63622683d7910e743518b0e34f1186f92494becacb047c7b6bf616c96772180fef923
rust/crates/anyhow-1.0.102.crate486587f202df86484c868dbad7eaa557ef785d5c66295e41b460ef922eca0723b842c
rust/crates/bitflags-2.11.0.crate48906843867be96c8daad0d758b57df9392b6d8d271134fce549de6ce169ff98a92af
rust/crates/byteorder-1.5.0.crate232881fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b
rust/crates/cc-1.2.17.crate1057941fcb57c740ae1daf453ae85f16e37396f672b039e00d9d866e07ddb24e328e3a
rust/crates/cfg-if-1.0.0.crate7934baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd
rust/crates/crc32fast-1.4.2.crate38491a97769d94ddab943e4510d138150169a2758b5ef3eb191a9ee688de3e23ef7b3
rust/crates/crossbeam-deque-0.8.6.crate224719dd111b7b7f7d55b72c0a6ae361660ee5853c9af73f70c3c2ef6858b950e2e51
rust/crates/crossbeam-epoch-0.9.18.crate468755b82ac4a3c2ca9c3460964f020e1402edd5753411d7737aa39c3714ad1b5420e
rust/crates/crossbeam-utils-0.8.21.crate42691d0a5c400df2834b80a4c3327b3aad3a4c4cd4de0629063962b03235697506a28
rust/crates/either-1.15.0.crate2011448c757948c5ede0e46177b7add2e67155f70e33c07fea8284df6576da70b3719
rust/crates/equivalent-1.0.2.crate7419877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f
rust/crates/errno-0.3.14.crate1200239cab71617ae0d63f51a36d69f866391735b51691dbda63cf6f96d042b63efeb
rust/crates/fastrand-2.3.0.crate1507637909eebbb50d72f9059c3b6d82c0463f2ff062c9e95845c43a6c9c0355411be
rust/crates/flate2-1.1.0.crate11065011faaf5a5236997af9848be0bef4db95824b1d534ebc64d0f0c6cf3e67bd38dc
rust/crates/foldhash-0.1.5.crate21901d9c4f5dac5e15c24eb999c26181a6ca40b39fe946cbe4c263c7209467bc83af2
rust/crates/getrandom-0.4.2.crate539050de51e6874e94e7bf76d726fc5d13ba782deca734ff60d5bb2fb2607c7406555
rust/crates/hashbrown-0.15.2.crate138478bf151400ff0baff5465007dd2f3e717f3fe502074ca563069ce3a6629d07b289
rust/crates/hashbrown-0.16.1.crate147785841d1cc9bed7f9236f321df977030373f4a4163ae1a7dbfe1a51a2c1a51d9100

Commit history 2

DateCommitCreditsLog message
068da91964 Yuri Victorovich math/leangz: update 0.1.20 → 0.1.21
311b26b38f Yuri Victorovich math/leangz: Add patches fixing 3 tests in math/lean4
These patches will be upstreamed.