Port: | math/lean4 |
---|---|
Version: | 4.5.0.r1_2 |
Maintainer: | [email protected] |
Last committer: | |
Build environment: | 132releng-armv7-default |
Category: | build |
Flavor: | |
Report date: | Feb. 2, 2024, 5:11 p.m. |
Log URL: | https://pkg-status.freebsd.org/ampere3/data/132releng-armv7-default/7036c2716ded/logs/lean4-4.5.0.r1_2.log |
Build URL: | https://pkg-status.freebsd.org/ampere3/build.html?mastername=132releng-armv7-default&build=7036c2716ded |
Report URL: | https://lists.freebsd.org/archives/freebsd-pkg-fallout/2024-February/558707.html |
More info: | See the port detail page for the fallout history for this port. |