notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)Want a good monitor light? See my photosAll times are UTC		 Ukraine

Bot filter coming soon

To deter bots pegging the database CPU to 100%, a bot testing filter to be added to the website. This should not affect newsfeeds etc. Anubis seems light-weight - it is already in use within the FreeBSD Project. This notice is just a heads up in case you see something odd. This notice will be updated after Anubis is installed.

Port details
leangz Lean 4 .olean file (de)compressor
0.1.14 math on this many watch lists=2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.1.13_3Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2024-01-16 10:48:06
Last Update: 2024-11-01 19:59:42
Commit Hash: adda643
People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
License: APACHE20
WWW:
https://github.com/digama0/leangz
Description:
Lean 4 .olean file (de)compressor.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (5 items)
Collapse this list.
  1. bin/leangz
  2. bin/leantar
  3. /usr/local/share/licenses/leangz-0.1.14/catalog.mk
  4. /usr/local/share/licenses/leangz-0.1.14/LICENSE
  5. /usr/local/share/licenses/leangz-0.1.14/APACHE20
Collapse this list.
Dependency lines:
  • leangz>0:math/leangz
To install the port:
cd /usr/ports/math/leangz/ && make install clean
To add the package, run one of these commands:
  • pkg install math/leangz
  • pkg install leangz
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: leangz
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1730486783 SHA256 (rust/crates/adler2-2.0.0.crate) = 512761e0bb2578dd7380c6baaa0f4ce03e84f95e960231d1dec8bf4d7d6e2627 SIZE (rust/crates/adler2-2.0.0.crate) = 13529

Expand this list (74 items)

Collapse this list.

SHA256 (rust/crates/allocator-api2-0.2.18.crate) = 5c6cb57a04249c6480766f7f7cef5467412af1490f8d1e243141daddada3264f SIZE (rust/crates/allocator-api2-0.2.18.crate) = 62504 SHA256 (rust/crates/byteorder-1.5.0.crate) = 1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b SIZE (rust/crates/byteorder-1.5.0.crate) = 23288 SHA256 (rust/crates/cc-1.1.31.crate) = c2e7962b54006dcfcc61cb72735f4d89bb97061dd6a7ed882ec6b8ee53714c6f SIZE (rust/crates/cc-1.1.31.crate) = 84637 SHA256 (rust/crates/cfg-if-1.0.0.crate) = baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd SIZE (rust/crates/cfg-if-1.0.0.crate) = 7934 SHA256 (rust/crates/crc32fast-1.4.2.crate) = a97769d94ddab943e4510d138150169a2758b5ef3eb191a9ee688de3e23ef7b3 SIZE (rust/crates/crc32fast-1.4.2.crate) = 38491 SHA256 (rust/crates/crossbeam-deque-0.8.5.crate) = 613f8cc01fe9cf1a3eb3d7f488fd2fa8388403e97039e2f73692932e291a770d SIZE (rust/crates/crossbeam-deque-0.8.5.crate) = 21726 SHA256 (rust/crates/crossbeam-epoch-0.9.18.crate) = 5b82ac4a3c2ca9c3460964f020e1402edd5753411d7737aa39c3714ad1b5420e SIZE (rust/crates/crossbeam-epoch-0.9.18.crate) = 46875 SHA256 (rust/crates/crossbeam-utils-0.8.20.crate) = 22ec99545bb0ed0ea7bb9b8e1e9122ea386ff8a48c0922e43f36d45ab09e0e80 SIZE (rust/crates/crossbeam-utils-0.8.20.crate) = 42487 SHA256 (rust/crates/either-1.13.0.crate) = 60b1af1c220855b6ceac025d3f6ecdd2b7c4894bfe9cd9bda4fbb4bc7c0d4cf0 SIZE (rust/crates/either-1.13.0.crate) = 19169 SHA256 (rust/crates/equivalent-1.0.1.crate) = 5443807d6dff69373d433ab9ef5378ad8df50ca6298caf15de6e52e24aaf54d5 SIZE (rust/crates/equivalent-1.0.1.crate) = 6615 SHA256 (rust/crates/flate2-1.0.34.crate) = a1b589b4dc103969ad3cf85c950899926ec64300a1a46d76c03a6072957036f0 SIZE (rust/crates/flate2-1.0.34.crate) = 109174 SHA256 (rust/crates/foldhash-0.1.3.crate) = f81ec6369c545a7d40e4589b5597581fa1c441fe1cce96dd1de43159910a36a2 SIZE (rust/crates/foldhash-0.1.3.crate) = 13712 SHA256 (rust/crates/hashbrown-0.15.0.crate) = 1e087f84d4f86bf4b218b927129862374b72199ae7d8657835f1e89000eea4fb SIZE (rust/crates/hashbrown-0.15.0.crate) = 136460 SHA256 (rust/crates/itoa-1.0.11.crate) = 49f1f14873335454500d59611f1cf4a4b0f786f9ac11f4312a78e4cf2566695b SIZE (rust/crates/itoa-1.0.11.crate) = 10563 SHA256 (rust/crates/jobserver-0.1.32.crate) = 48d1dbcbbeb6a7fec7e059840aa538bd62aaccf972c7346c4d9d2059312853d0 SIZE (rust/crates/jobserver-0.1.32.crate) = 27549 SHA256 (rust/crates/libc-0.2.161.crate) = 8e9489c2807c139ffd9c1794f4af0ebe86a828db53ecdc7fea2111d0fed085d1 SIZE (rust/crates/libc-0.2.161.crate) = 765389 SHA256 (rust/crates/memchr-2.7.4.crate) = 78ca9ab1a0babb1e7d5695e3530886289c18cf2f87ec19a575a0abdce112e3a3 SIZE (rust/crates/memchr-2.7.4.crate) = 96670 SHA256 (rust/crates/memmap2-0.9.5.crate) = fd3f7eed9d3848f8b98834af67102b720745c4ec028fcd0aa0239277e7de374f SIZE (rust/crates/memmap2-0.9.5.crate) = 33280 SHA256 (rust/crates/miniz_oxide-0.8.0.crate) = e2d80299ef12ff69b16a84bb182e3b9df68b5a91574d3d4fa6e41b65deec4df1 SIZE (rust/crates/miniz_oxide-0.8.0.crate) = 56343 SHA256 (rust/crates/pkg-config-0.3.31.crate) = 953ec861398dccce10c670dfeaf3ec4911ca479e9c02154b3a215178c5f566f2 SIZE (rust/crates/pkg-config-0.3.31.crate) = 20880 SHA256 (rust/crates/proc-macro2-1.0.89.crate) = f139b0662de085916d1fb67d2b4169d1addddda1919e696f3252b740b629986e SIZE (rust/crates/proc-macro2-1.0.89.crate) = 49446 SHA256 (rust/crates/quote-1.0.37.crate) = b5b9d34b8991d19d98081b46eacdd8eb58c6f2b201139f7c5f643cc155a633af SIZE (rust/crates/quote-1.0.37.crate) = 28558 SHA256 (rust/crates/rayon-1.10.0.crate) = b418a60154510ca1a002a752ca9714984e21e4241e804d32555251faf8b78ffa SIZE (rust/crates/rayon-1.10.0.crate) = 180155 SHA256 (rust/crates/rayon-core-1.12.1.crate) = 1465873a3dfdaa8ae7cb14b4383657caab0b3e8a0aa9ae8e04b044854c8dfce2 SIZE (rust/crates/rayon-core-1.12.1.crate) = 70701 SHA256 (rust/crates/ryu-1.0.18.crate) = f3cb5ba0dc43242ce17de99c180e96db90b235b8a9fdc9543c96d2209116bd9f SIZE (rust/crates/ryu-1.0.18.crate) = 47713 SHA256 (rust/crates/serde-1.0.214.crate) = f55c3193aca71c12ad7890f1785d2b73e1b9f63a0bbc353c08ef26fe03fc56b5 SIZE (rust/crates/serde-1.0.214.crate) = 78523 SHA256 (rust/crates/serde_derive-1.0.214.crate) = de523f781f095e28fa605cdce0f8307e451cc0fd14e2eb4cd2e98a355b147766 SIZE (rust/crates/serde_derive-1.0.214.crate) = 56630 SHA256 (rust/crates/serde_json-1.0.132.crate) = d726bfaff4b320266d395898905d0eba0345aae23b54aee3a737e260fd46db03 SIZE (rust/crates/serde_json-1.0.132.crate) = 150549 SHA256 (rust/crates/shlex-1.3.0.crate) = 0fda2ff0d084019ba4d7c6f371c95d8fd75ce3524c3cb8fb653a3023f6323e64 SIZE (rust/crates/shlex-1.3.0.crate) = 18713 SHA256 (rust/crates/syn-2.0.86.crate) = e89275301d38033efb81a6e60e3497e734dfcc62571f2854bf4b16690398824c SIZE (rust/crates/syn-2.0.86.crate) = 276473 SHA256 (rust/crates/unicode-ident-1.0.13.crate) = e91b56cd4cadaeb79bbf1a5645f6b4f8dc5bde8834ad5894a8db35fda9efa1fe SIZE (rust/crates/unicode-ident-1.0.13.crate) = 43279 SHA256 (rust/crates/zerocopy-0.8.8.crate) = 5a4e33e6dce36f2adba29746927f8e848ba70989fdb61c772773bbdda8b5d6a7 SIZE (rust/crates/zerocopy-0.8.8.crate) = 224371 SHA256 (rust/crates/zerocopy-derive-0.8.8.crate) = 3cd137b4cc21bde6ecce3bbbb3350130872cda0be2c6888874279ea76e17d4c1 SIZE (rust/crates/zerocopy-derive-0.8.8.crate) = 76671 SHA256 (rust/crates/zstd-0.13.2.crate) = fcf2b778a664581e31e389454a7072dab1647606d44f7feea22cd5abb9c9f3f9 SIZE (rust/crates/zstd-0.13.2.crate) = 30251 SHA256 (rust/crates/zstd-safe-7.2.1.crate) = 54a3ab4db68cea366acc5c897c7b4d4d1b8994a9cd6e6f841f8964566a419059 SIZE (rust/crates/zstd-safe-7.2.1.crate) = 21122 SHA256 (rust/crates/zstd-sys-2.0.13+zstd.1.5.6.crate) = 38ff0f21cfee8f97d94cef41359e0c89aa6113028ab0291aa8ca0038995a95aa SIZE (rust/crates/zstd-sys-2.0.13+zstd.1.5.6.crate) = 749090 SHA256 (digama0-leangz-v0.1.14_GH0.tar.gz) = 9b53dfdc60304b7134c1e2b93b1caaba53410edf5681bb13724d31a05be692e5 SIZE (digama0-leangz-v0.1.14_GH0.tar.gz) = 270878

Collapse this list.

Packages (timestamps in pop-ups are UTC):
leangz
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest-0.1.14------
FreeBSD:13:quarterly-0.1.14------
FreeBSD:14:latest-0.1.14------
FreeBSD:14:quarterly-0.1.14------
FreeBSD:15:latest-0.1.14n/a-n/a-0.1.11-
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. rust-nightly>0 : lang/rust-nightly
  2. pkgconf>=1.3.0_1 : devel/pkgconf
Library dependencies:
  1. libzstd.so : archivers/zstd
There are no ports dependent upon this port
Configuration Options:
No options to configure
Options name:
math_leangz
USES:
cargo
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/digama0/leangz/tar.gz/v0.1.14?dummy=/
Collapse this list.

Number of commits found: 12

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
0.1.14
01 Nov 2024 19:59:42
commit hash: adda64386e26279c6f856d2be35f16644575403acommit hash: adda64386e26279c6f856d2be35f16644575403acommit hash: adda64386e26279c6f856d2be35f16644575403acommit hash: adda64386e26279c6f856d2be35f16644575403a files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/leangz: update 0.1.13 → 0.1.14
0.1.13_3
10 Sep 2024 11:00:34
commit hash: 89ab81d0e2eca6b298b0efd3f4577d468abf18d5commit hash: 89ab81d0e2eca6b298b0efd3f4577d468abf18d5commit hash: 89ab81d0e2eca6b298b0efd3f4577d468abf18d5commit hash: 89ab81d0e2eca6b298b0efd3f4577d468abf18d5 files touched by this commit		 Mikael Urankar (mikael) search for other commits by this committer 
lang/rust: Bump revisions after 1.81.0

PR:		281300
0.1.13_2
10 Sep 2024 10:58:07
commit hash: c0d07f1127793ffc97a6c1db78423d0d16bdc5efcommit hash: c0d07f1127793ffc97a6c1db78423d0d16bdc5efcommit hash: c0d07f1127793ffc97a6c1db78423d0d16bdc5efcommit hash: c0d07f1127793ffc97a6c1db78423d0d16bdc5ef files touched by this commit		 Mikael Urankar (mikael) search for other commits by this committer
Author: Siva Mahadevan		 
*/*: remove STRIP_CMD calls in rust based ports

This is not needed after bc4fedc1fec0d359365c04d43be9e32bf101a50e

PR:		246993
Differential Revision:	https://reviews.freebsd.org/D46503
0.1.13_2
26 Aug 2024 08:08:01
commit hash: 7a55f9542531c541f36ae5cf3a58d6ce92ec7bffcommit hash: 7a55f9542531c541f36ae5cf3a58d6ce92ec7bffcommit hash: 7a55f9542531c541f36ae5cf3a58d6ce92ec7bffcommit hash: 7a55f9542531c541f36ae5cf3a58d6ce92ec7bff files touched by this commit		 Mikael Urankar (mikael) search for other commits by this committer 
lang/rust: Bump revisions after 1.80.1

PR:		280490
0.1.13_1
18 Jun 2024 10:59:14
commit hash: 21476ca8a9b5feb3485a3fa29299c0b447c90350commit hash: 21476ca8a9b5feb3485a3fa29299c0b447c90350commit hash: 21476ca8a9b5feb3485a3fa29299c0b447c90350commit hash: 21476ca8a9b5feb3485a3fa29299c0b447c90350 files touched by this commit		 Mikael Urankar (mikael) search for other commits by this committer 
lang/rust: Bump revisions after 1.79.0

PR:		279707
0.1.13
15 Jun 2024 09:12:44
commit hash: 30961985b89bdf016a3ac4a9e6727ba347d30020commit hash: 30961985b89bdf016a3ac4a9e6727ba347d30020commit hash: 30961985b89bdf016a3ac4a9e6727ba347d30020commit hash: 30961985b89bdf016a3ac4a9e6727ba347d30020 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/leangz: update 0.1.12 → 0.1.13

Reported by:	portscout
0.1.12
14 Jun 2024 09:11:35
commit hash: 2da712c92eb5d7f5de9dd19f9e74161ff61f7493commit hash: 2da712c92eb5d7f5de9dd19f9e74161ff61f7493commit hash: 2da712c92eb5d7f5de9dd19f9e74161ff61f7493commit hash: 2da712c92eb5d7f5de9dd19f9e74161ff61f7493 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/leangz: update 0.1.11 → 0.1.12

Reported by:	portscout
0.1.11_3
13 May 2024 11:03:24
commit hash: 2322b661000b69fcc75fe68fec25e5b4e48c2a8ecommit hash: 2322b661000b69fcc75fe68fec25e5b4e48c2a8ecommit hash: 2322b661000b69fcc75fe68fec25e5b4e48c2a8ecommit hash: 2322b661000b69fcc75fe68fec25e5b4e48c2a8e files touched by this commit		 Mikael Urankar (mikael) search for other commits by this committer 
lang/rust: Bump revisions after 1.78.0

PR:		278834
0.1.11_2
23 Mar 2024 09:41:46
commit hash: d632fbe55e45559d03a0bef7211913964aeba45acommit hash: d632fbe55e45559d03a0bef7211913964aeba45acommit hash: d632fbe55e45559d03a0bef7211913964aeba45acommit hash: d632fbe55e45559d03a0bef7211913964aeba45a files touched by this commit		 Mikael Urankar (mikael) search for other commits by this committer 
lang/rust: Bump revisions after 1.77.0

PR:		277786
0.1.11_1
19 Feb 2024 11:59:23
commit hash: 7f5a7b0e524c8d32727681a4324905e350dc433ccommit hash: 7f5a7b0e524c8d32727681a4324905e350dc433ccommit hash: 7f5a7b0e524c8d32727681a4324905e350dc433ccommit hash: 7f5a7b0e524c8d32727681a4324905e350dc433c files touched by this commit		 Mikael Urankar (mikael) search for other commits by this committer 
lang/rust: Bump revisions after 1.76.0

PR:		276920
0.1.11
29 Jan 2024 04:17:03
commit hash: 364e6d9f92dcc97d2830ad0a4b4da5c7427103accommit hash: 364e6d9f92dcc97d2830ad0a4b4da5c7427103accommit hash: 364e6d9f92dcc97d2830ad0a4b4da5c7427103accommit hash: 364e6d9f92dcc97d2830ad0a4b4da5c7427103ac files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/leangz: update 0.1.10 → 0.1.11

Reported by:	portscout
0.1.10
16 Jan 2024 10:45:00
commit hash: d78496a375fe1744b7cc6a7e45d35bdef5b6d3a1commit hash: d78496a375fe1744b7cc6a7e45d35bdef5b6d3a1commit hash: d78496a375fe1744b7cc6a7e45d35bdef5b6d3a1commit hash: d78496a375fe1744b7cc6a7e45d35bdef5b6d3a1 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/leangz: New port: Lean 4 .olean file (de)compressor

Number of commits found: 12
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
clamavJun 20
clamavJun 20
chromiumJun 19
ungoogled-chromiumJun 19
navidromeJun 18
chromiumJun 17
chromiumJun 17
firefoxJun 17
ungoogled-chromiumJun 17
ungoogled-chromiumJun 17
firefoxJun 15
firefox-esrJun 15
thunderbirdJun 15
webminJun 15
yelpJun 14

16 vulnerabilities affecting 239 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2025-06-20 15:39:58 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 33382
Broken 126
Deprecated 314
Ignore 242
Forbidden 0
Restricted 2
No CDROM 1
Vulnerable 32
Expired 25
Set to expire 256
Interactive 0
new 24 hours 27
new 48 hours27
new 7 days39
new fortnight93
new month146
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2025 Dan Langille. All rights reserved.