As 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 photos
All times are UTCnotbug
Ukraine
Menu ☰ Menu
Volunteers wanted to help translate FreshPorts
Searches without login should now work. You must get asked to click a button.
Port details
leangz Lean 4 .olean file (de)compressor
0.1.21 math Σ=0 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.20_1Version 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: 2026-10-10 02:43:13
Commit Hash: 068da91
License: APACHE20
WWW:
https://github.com/digama0/leangz
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.
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.21/catalog.mk
  4. /usr/local/share/licenses/leangz-0.1.21/LICENSE
  5. /usr/local/share/licenses/leangz-0.1.21/APACHE20
Collapse this list.
USE_RC_SUBR (Service Scripts)
  • no SUBR information found for this port
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 = 1791590395 SHA256 (rust/crates/adler2-2.0.0.crate) = 512761e0bb2578dd7380c6baaa0f4ce03e84f95e960231d1dec8bf4d7d6e2627 SIZE (rust/crates/adler2-2.0.0.crate) = 13529

Expand this list (140 items)

Collapse this list.

SHA256 (rust/crates/allocator-api2-0.2.21.crate) = 683d7910e743518b0e34f1186f92494becacb047c7b6bf616c96772180fef923 SIZE (rust/crates/allocator-api2-0.2.21.crate) = 63622 SHA256 (rust/crates/anyhow-1.0.102.crate) = 7f202df86484c868dbad7eaa557ef785d5c66295e41b460ef922eca0723b842c SIZE (rust/crates/anyhow-1.0.102.crate) = 48658 SHA256 (rust/crates/bitflags-2.11.0.crate) = 843867be96c8daad0d758b57df9392b6d8d271134fce549de6ce169ff98a92af SIZE (rust/crates/bitflags-2.11.0.crate) = 48906 SHA256 (rust/crates/byteorder-1.5.0.crate) = 1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b SIZE (rust/crates/byteorder-1.5.0.crate) = 23288 SHA256 (rust/crates/cc-1.2.17.crate) = 1fcb57c740ae1daf453ae85f16e37396f672b039e00d9d866e07ddb24e328e3a SIZE (rust/crates/cc-1.2.17.crate) = 105794 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.6.crate) = 9dd111b7b7f7d55b72c0a6ae361660ee5853c9af73f70c3c2ef6858b950e2e51 SIZE (rust/crates/crossbeam-deque-0.8.6.crate) = 22471 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.21.crate) = d0a5c400df2834b80a4c3327b3aad3a4c4cd4de0629063962b03235697506a28 SIZE (rust/crates/crossbeam-utils-0.8.21.crate) = 42691 SHA256 (rust/crates/either-1.15.0.crate) = 48c757948c5ede0e46177b7add2e67155f70e33c07fea8284df6576da70b3719 SIZE (rust/crates/either-1.15.0.crate) = 20114 SHA256 (rust/crates/equivalent-1.0.2.crate) = 877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f SIZE (rust/crates/equivalent-1.0.2.crate) = 7419 SHA256 (rust/crates/errno-0.3.14.crate) = 39cab71617ae0d63f51a36d69f866391735b51691dbda63cf6f96d042b63efeb SIZE (rust/crates/errno-0.3.14.crate) = 12002 SHA256 (rust/crates/fastrand-2.3.0.crate) = 37909eebbb50d72f9059c3b6d82c0463f2ff062c9e95845c43a6c9c0355411be SIZE (rust/crates/fastrand-2.3.0.crate) = 15076 SHA256 (rust/crates/flate2-1.1.0.crate) = 11faaf5a5236997af9848be0bef4db95824b1d534ebc64d0f0c6cf3e67bd38dc SIZE (rust/crates/flate2-1.1.0.crate) = 110650 SHA256 (rust/crates/foldhash-0.1.5.crate) = d9c4f5dac5e15c24eb999c26181a6ca40b39fe946cbe4c263c7209467bc83af2 SIZE (rust/crates/foldhash-0.1.5.crate) = 21901 SHA256 (rust/crates/getrandom-0.4.2.crate) = 0de51e6874e94e7bf76d726fc5d13ba782deca734ff60d5bb2fb2607c7406555 SIZE (rust/crates/getrandom-0.4.2.crate) = 53905 SHA256 (rust/crates/hashbrown-0.15.2.crate) = bf151400ff0baff5465007dd2f3e717f3fe502074ca563069ce3a6629d07b289 SIZE (rust/crates/hashbrown-0.15.2.crate) = 138478 SHA256 (rust/crates/hashbrown-0.16.1.crate) = 841d1cc9bed7f9236f321df977030373f4a4163ae1a7dbfe1a51a2c1a51d9100 SIZE (rust/crates/hashbrown-0.16.1.crate) = 147785 SHA256 (rust/crates/heck-0.5.0.crate) = 2304e00983f87ffb38b55b444b5e3b60a884b5d30c0fca7d82fe33449bbe55ea SIZE (rust/crates/heck-0.5.0.crate) = 11517 SHA256 (rust/crates/id-arena-2.3.0.crate) = 3d3067d79b975e8844ca9eb072e16b31c3c1c36928edf9c6789548c524d0d954 SIZE (rust/crates/id-arena-2.3.0.crate) = 12883 SHA256 (rust/crates/indexmap-2.13.0.crate) = 7714e70437a7dc3ac8eb7e6f8df75fd8eb422675fc7678aff7364301092b1017 SIZE (rust/crates/indexmap-2.13.0.crate) = 102206 SHA256 (rust/crates/itoa-1.0.15.crate) = 4a5f13b858c8d314ee3e8f639011f7ccefe71f97f96e50151fb991f267928e2c SIZE (rust/crates/itoa-1.0.15.crate) = 11231 SHA256 (rust/crates/jobserver-0.1.32.crate) = 48d1dbcbbeb6a7fec7e059840aa538bd62aaccf972c7346c4d9d2059312853d0 SIZE (rust/crates/jobserver-0.1.32.crate) = 27549 SHA256 (rust/crates/leb128fmt-0.1.0.crate) = 09edd9e8b54e49e587e4f6295a7d29c3ea94d469cb40ab8ca70b288248a81db2 SIZE (rust/crates/leb128fmt-0.1.0.crate) = 14138 SHA256 (rust/crates/libc-0.2.182.crate) = 6800badb6cb2082ffd7b6a67e6125bb39f18782f793520caee8cb8846be06112 SIZE (rust/crates/libc-0.2.182.crate) = 814873 SHA256 (rust/crates/linux-raw-sys-0.12.1.crate) = 32a66949e030da00e8c7d4434b251670a91556f4144941d37452769c25d58a53 SIZE (rust/crates/linux-raw-sys-0.12.1.crate) = 3006116 SHA256 (rust/crates/log-0.4.29.crate) = 5e5032e24019045c762d3c0f28f5b6b8bbf38563a65908389bf7978758920897 SIZE (rust/crates/log-0.4.29.crate) = 51515 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.5.crate) = 8e3e04debbb59698c15bacbb6d93584a8c0ca9cc3213cb423d31f760d8843ce5 SIZE (rust/crates/miniz_oxide-0.8.5.crate) = 62237 SHA256 (rust/crates/once_cell-1.21.3.crate) = 42f5e15c9953c5e4ccceeb2e7382a716482c34515315f7b03532b8b4e8393d2d SIZE (rust/crates/once_cell-1.21.3.crate) = 34534 SHA256 (rust/crates/pkg-config-0.3.32.crate) = 7edddbd0b52d732b21ad9a5fab5c704c14cd949e5e9a1ec5929a24fded1b904c SIZE (rust/crates/pkg-config-0.3.32.crate) = 21370 SHA256 (rust/crates/prettyplease-0.2.37.crate) = 479ca8adacdd7ce8f1fb39ce9ecccbfe93a3f1344b3d0d97f20bc0196208f62b SIZE (rust/crates/prettyplease-0.2.37.crate) = 72033 SHA256 (rust/crates/proc-macro2-1.0.94.crate) = a31971752e70b8b2686d7e46ec17fb38dad4051d94024c88df49b667caea9c84 SIZE (rust/crates/proc-macro2-1.0.94.crate) = 52391 SHA256 (rust/crates/quote-1.0.40.crate) = 1885c039570dc00dcb4ff087a89e185fd56bae234ddc7f056a945bf36467248d SIZE (rust/crates/quote-1.0.40.crate) = 31063 SHA256 (rust/crates/r-efi-6.0.0.crate) = f8dcc9c7d52a811697d2151c701e0d08956f92b0e24136cf4cf27b57a6a0d9bf SIZE (rust/crates/r-efi-6.0.0.crate) = 65303 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/rustix-1.1.4.crate) = b6fe4565b9518b83ef4f91bb47ce29620ca828bd32cb7e408f0062e9930ba190 SIZE (rust/crates/rustix-1.1.4.crate) = 425241 SHA256 (rust/crates/ryu-1.0.20.crate) = 28d3b2b1366ec20994f1fd18c3c594f05c5dd4bc44d8bb0c1c632c8d6829481f SIZE (rust/crates/ryu-1.0.20.crate) = 48738 SHA256 (rust/crates/semver-1.0.27.crate) = d767eb0aabc880b29956c35734170f26ed551a859dbd361d140cdbeca61ab1e2 SIZE (rust/crates/semver-1.0.27.crate) = 30081 SHA256 (rust/crates/serde-1.0.228.crate) = 9a8e94ea7f378bd32cbbd37198a4a91436180c5bb472411e48b5ec2e2124ae9e SIZE (rust/crates/serde-1.0.228.crate) = 83652 SHA256 (rust/crates/serde_core-1.0.228.crate) = 41d385c7d4ca58e59fc732af25c3983b67ac852c1a25000afe1175de458b67ad SIZE (rust/crates/serde_core-1.0.228.crate) = 63111 SHA256 (rust/crates/serde_derive-1.0.228.crate) = d540f220d3187173da220f885ab66608367b6574e925011a9353e4badda91d79 SIZE (rust/crates/serde_derive-1.0.228.crate) = 59605 SHA256 (rust/crates/serde_json-1.0.140.crate) = 20068b6e96dc6c9bd23e01df8827e6c7e1f2fddd43c21810382803c136b99373 SIZE (rust/crates/serde_json-1.0.140.crate) = 154852 SHA256 (rust/crates/shlex-1.3.0.crate) = 0fda2ff0d084019ba4d7c6f371c95d8fd75ce3524c3cb8fb653a3023f6323e64 SIZE (rust/crates/shlex-1.3.0.crate) = 18713 SHA256 (rust/crates/syn-2.0.117.crate) = e665b8803e7b1d2a727f4023456bbbbe74da67099c585258af0ad9c5013b9b99 SIZE (rust/crates/syn-2.0.117.crate) = 306011 SHA256 (rust/crates/tempfile-3.26.0.crate) = 82a72c767771b47409d2345987fda8628641887d5466101319899796367354a0 SIZE (rust/crates/tempfile-3.26.0.crate) = 43478 SHA256 (rust/crates/unicode-ident-1.0.18.crate) = 5a5f39404a5da50712a4c1eecf25e90dd62b613502b7e925fd4e4d19b5c96512 SIZE (rust/crates/unicode-ident-1.0.18.crate) = 47743 SHA256 (rust/crates/unicode-xid-0.2.6.crate) = ebc1c04c71510c7f702b52b7c350734c9ff1295c464a03335b00bb84fc54f853 SIZE (rust/crates/unicode-xid-0.2.6.crate) = 15744 SHA256 (rust/crates/wasip2-1.0.2+wasi-0.2.9.crate) = 9517f9239f02c069db75e65f174b3da828fe5f5b945c4dd26bd25d89c03ebcf5 SIZE (rust/crates/wasip2-1.0.2+wasi-0.2.9.crate) = 129778 SHA256 (rust/crates/wasip3-0.4.0+wasi-0.3.0-rc-2026-01-06.crate) = 5428f8bf88ea5ddc08faddef2ac4a67e390b88186c703ce6dbd955e1c145aca5 SIZE (rust/crates/wasip3-0.4.0+wasi-0.3.0-rc-2026-01-06.crate) = 123354 SHA256 (rust/crates/wasm-encoder-0.244.0.crate) = 990065f2fe63003fe337b932cfb5e3b80e0b4d0f5ff650e6985b1048f62c8319 SIZE (rust/crates/wasm-encoder-0.244.0.crate) = 85804 SHA256 (rust/crates/wasm-metadata-0.244.0.crate) = bb0e353e6a2fbdc176932bbaab493762eb1255a7900fe0fea1a2f96c296cc909 SIZE (rust/crates/wasm-metadata-0.244.0.crate) = 21500 SHA256 (rust/crates/wasmparser-0.244.0.crate) = 47b807c72e1bac69382b3a6fb3dbe8ea4c0ed87ff5629b8685ae6b9a611028fe SIZE (rust/crates/wasmparser-0.244.0.crate) = 265607 SHA256 (rust/crates/windows-link-0.2.1.crate) = f0805222e57f7521d6a62e36fa9163bc891acd422f971defe97d64e70d0a4fe5 SIZE (rust/crates/windows-link-0.2.1.crate) = 6133 SHA256 (rust/crates/windows-sys-0.61.2.crate) = ae137229bcbd6cdf0f7b80a31df61766145077ddf49416a728b02cb3921ff3fc SIZE (rust/crates/windows-sys-0.61.2.crate) = 2517186 SHA256 (rust/crates/wit-bindgen-0.51.0.crate) = d7249219f66ced02969388cf2bb044a09756a083d0fab1e566056b04d9fbcaa5 SIZE (rust/crates/wit-bindgen-0.51.0.crate) = 68035 SHA256 (rust/crates/wit-bindgen-core-0.51.0.crate) = ea61de684c3ea68cb082b7a88508a8b27fcc8b797d738bfc99a82facf1d752dc SIZE (rust/crates/wit-bindgen-core-0.51.0.crate) = 35048 SHA256 (rust/crates/wit-bindgen-rust-0.51.0.crate) = b7c566e0f4b284dd6561c786d9cb0142da491f46a9fbed79ea69cdad5db17f21 SIZE (rust/crates/wit-bindgen-rust-0.51.0.crate) = 57051 SHA256 (rust/crates/wit-bindgen-rust-macro-0.51.0.crate) = 0c0f9bfd77e6a48eccf51359e3ae77140a7f50b1e2ebfe62422d8afdaffab17a SIZE (rust/crates/wit-bindgen-rust-macro-0.51.0.crate) = 14283 SHA256 (rust/crates/wit-component-0.244.0.crate) = 9d66ea20e9553b30172b5e831994e35fbde2d165325bec84fc43dbf6f4eb9cb2 SIZE (rust/crates/wit-component-0.244.0.crate) = 256882 SHA256 (rust/crates/wit-parser-0.244.0.crate) = ecc8ac4bc1dc3381b7f59c34f00b67e18f910c2c0f50015669dde7def656a736 SIZE (rust/crates/wit-parser-0.244.0.crate) = 159371 SHA256 (rust/crates/zerocopy-0.8.24.crate) = 2586fea28e186957ef732a5f8b3be2da217d65c5969d4b1e17f973ebbe876879 SIZE (rust/crates/zerocopy-0.8.24.crate) = 243777 SHA256 (rust/crates/zerocopy-derive-0.8.24.crate) = a996a8f63c5c4448cd959ac1bab0aaa3306ccfd060472f85943ee0750f0169be SIZE (rust/crates/zerocopy-derive-0.8.24.crate) = 86487 SHA256 (rust/crates/zstd-0.13.3.crate) = e91ee311a569c327171651566e07972200e76fcfe2242a4fa446149a3881c08a SIZE (rust/crates/zstd-0.13.3.crate) = 30514 SHA256 (rust/crates/zstd-safe-7.2.4.crate) = 8f49c4d5f0abb602a93fb8736af2a4f4dd9512e36f7f570d66e65ff867ed3b9d SIZE (rust/crates/zstd-safe-7.2.4.crate) = 29350 SHA256 (rust/crates/zstd-sys-2.0.15+zstd.1.5.7.crate) = eb81183ddd97d0c74cedf1d50d85c8d08c1b8b68ee863bdee9e706eedba1a237 SIZE (rust/crates/zstd-sys-2.0.15+zstd.1.5.7.crate) = 774847 SHA256 (digama0-leangz-v0.1.21_GH0.tar.gz) = 3362da6b4f88e24d30e397414b6400a7a265dec8cf6367cf2664897b3c96ed57 SIZE (digama0-leangz-v0.1.21_GH0.tar.gz) = 309907

Collapse this list.

Packages (timestamps in pop-ups are UTC): #
leangz
ABIaarch64amd64armv6armv7i386
FreeBSD:14:latest0.1.210.1.21---
FreeBSD:14:quarterly0.1.20_10.1.20_1---
FreeBSD:15:latest0.1.210.1.21n/a-n/a
FreeBSD:15:quarterly0.1.20_10.1.20_1n/a-n/a
FreeBSD:16:latest0.1.210.1.21n/a-n/a
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
This port is required by: #
for Build #
  1. math/lean4
for Run #
  1. math/lean4
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.21?dummy=/
Collapse this list.

Number of commits found: 16 #

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
0.1.21
10 Oct 2026 02:43:13
commit hash: 068da91964dd0af958acd8dadc0781608dd09e88commit hash: 068da91964dd0af958acd8dadc0781608dd09e88commit hash: 068da91964dd0af958acd8dadc0781608dd09e88commit hash: 068da91964dd0af958acd8dadc0781608dd09e88 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/leangz: update 0.1.20 → 0.1.21
0.1.20_1
06 Sep 2026 06:18:25
commit hash: 311b26b38f32c63ef9bed153d5b9f58ddac565c6commit hash: 311b26b38f32c63ef9bed153d5b9f58ddac565c6commit hash: 311b26b38f32c63ef9bed153d5b9f58ddac565c6commit hash: 311b26b38f32c63ef9bed153d5b9f58ddac565c6 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/leangz: Add patches fixing 3 tests in math/lean4

These patches will be upstreamed.
0.1.20
27 Jun 2026 22:54:50
commit hash: b06daaad451cc4078f872a7852275f2853f041c3commit hash: b06daaad451cc4078f872a7852275f2853f041c3commit hash: b06daaad451cc4078f872a7852275f2853f041c3commit hash: b06daaad451cc4078f872a7852275f2853f041c3 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/leangz: update 0.1.19 → 0.1.20
0.1.19
17 Mar 2026 07:52:51
commit hash: 038174b92ce960a282cef52fcc1573066a73c156commit hash: 038174b92ce960a282cef52fcc1573066a73c156commit hash: 038174b92ce960a282cef52fcc1573066a73c156commit hash: 038174b92ce960a282cef52fcc1573066a73c156 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/leangz: update 0.1.14 → 0.1.19

Reported by:	portscout
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: 16

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

Latest Vulnerabilities
git-lfsOct 28
jenkinsOct 28
jenkins-ltsOct 28
p5-GDOct 28
p5-HTTP-BodyOct 28
p5-MIME-ToolsOct 28
p5-PlackOct 28
p5-StarmanOct 28
py-pillowOct 28
trafficserverOct 28
py-svglibOct 27
rustls-ffiOct 27
ImageMagick6Oct 26
ImageMagick7Oct 26
libxslt*Oct 25

51 vulnerabilities affecting 627 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2026-10-28 17:42:21 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 35338
Broken 65
Deprecated 349
Ignore 188
Forbidden 0
Restricted 1
No CDROM 1
Vulnerable 42
Expired 8
Set to expire 268
Interactive 0
new 24 hours 6
new 48 hours11
new 7 days41
new fortnight109
new month235
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2026 Dan Langille. All rights reserved.